Redo #hnav so that it's used as a "sub-tabbar".

* css/style.css: Redo #hnav so that it's used as a "sub-tabbar".
* index.php: Flush.
* template.php: 
- Allow pages to provide an (optional) `$subtabs' argument, which fills 
in the sub-tabs area before the navigation elements.  
- Rename the Summary tab to Home.  
- Add a Planet tab, and other $hnav elements to remove warnings from `make`.
- The "selected" tab is now the *first* $tabs element found within
$context, so e.g. $context=("mgp", "users", "summary") will have the
Home tab as the selected tab.
* users/mgp/index.php
* developers/index.php
* index.html, about/index.html, developers/index.html,
developers/mailarchive/index.html, discover/index.html,
discover/comingsoon/index.html, download/index.html, users/mgp/index.html,
users/index.html: Flush.

1 files changed, 2 insertions, 0 deletions

diff --git a/index.php b/index.php
index ebc5d9a..c2d36d3 100644
--- a/index.php
+++ b/index.php
@@ -28,6 +28,8 @@ $content = <<<EOT
           <a href="/discover/#emf-rendering">EMF Rendering</a>,
           <a href="/discover/#gstreamer">GStreamer integration</a>
         </li>
+        <li>Better platform integration: native file dialogs
+				</li>
     </ul>
 
     <h2>Faster</h3>