[docs] Aggressively clean up the docs layout.

docs/Doxyfile

@@ -897,7 +897,7 @@ HTML_STYLESHEET        = docs/stylesheet.css
 # files. In the HTML_STYLESHEET file, use the file name only. Also note that 
 # the files will be copied as-is; there are no commands or markers available.
 
-HTML_EXTRA_FILES       = 
+HTML_EXTRA_FILES       = docs/fixed.js
 
 # The HTML_COLORSTYLE_HUE tag controls the color of the HTML output. 
 # Doxygen will adjust the colors in the stylesheet and background images 
@@ -1127,7 +1127,7 @@ USE_INLINE_TREES       = NO
 # used to set the initial width (in pixels) of the frame in which the tree 
 # is shown.
 
-TREEVIEW_WIDTH         = 250
+TREEVIEW_WIDTH         = 200
 
 # When the EXT_LINKS_IN_WINDOW option is set to YES doxygen will open 
 # links to external symbols imported via tag files in a separate window.

docs/fixed.js

@@ -0,0 +1,26 @@
+var cookie_namespace = 'doxygen'; 
+var sidenav,navtree,content,header;
+
+function resizeHeight() 
+{
+  var headerHeight = header.height();
+  var windowHeight = $(window).height() - headerHeight;
+  content.css({height:windowHeight + "px"});
+  navtree.css({height:windowHeight + "px"});
+  sidenav.css({height:windowHeight + "px",top: headerHeight+"px"});
+}
+
+function initResizable()
+{
+  header  = $("#top");
+  sidenav = $("#side-nav");
+  content = $("#doc-content");
+  navtree = $("#nav-tree");
+  footer  = $("#nav-path");
+  $(window).resize(function() { resizeHeight(); });
+  resizeHeight();
+  var url = location.href;
+  var i=url.indexOf("#");
+  if (i>=0) window.location.hash=url.substr(i);
+}
+

docs/footer.html

@@ -17,16 +17,8 @@
 </script>
 
 <!--BEGIN GENERATE_TREEVIEW-->
-    <span class="footer">Generated for $projectname by
-    <a href="http://www.doxygen.org/index.html">
-    <img class="footer" src="doxygen.png" alt="doxygen"/></a> $doxygenversion </span>
-   </ul>
  </div>
 <!--END GENERATE_TREEVIEW-->
-<!--BEGIN !GENERATE_TREEVIEW-->
-<hr class="footer"/><address class="footer"><small>
-Generated for $projectname by&#160;<a href="http://www.doxygen.org/index.html"><img class="footer" src="$relpath$doxygen.png" alt="doxygen"/></a> $doxygenversion</small></address>
-<!--END !GENERATE_TREEVIEW-->
 </div> <!-- page -->
 </body>
 </html>

docs/header.html

@@ -4,7 +4,13 @@
 <meta http-equiv="Content-Type" content="text/xhtml;charset=UTF-8"/>
 <title>$title</title>
 <link href="$relpath$tabs.css" rel="stylesheet" type="text/css"/>
-$treeview
+<link href="navtree.css" rel="stylesheet" type="text/css"/>
+<script type="text/javascript" src="jquery.js"></script>
+<script type="text/javascript" src="fixed.js"></script>
+<script type="text/javascript" src="navtree.js"></script>
+<script type="text/javascript">
+  $(document).ready(initResizable);
+</script>
 <link href="$relpath$stylesheet.css" rel="stylesheet" type="text/css" />
 $search
 $mathjax

docs/stylesheet.css

@@ -677,11 +677,7 @@ div.ingroups a
 
 div.header
 {
-        background-image:url('nav_h.png');
-        background-repeat:repeat-x;
-	background-color: #F9FAFC;
 	margin:  0px;
-	border-bottom: 1px solid #C4CFE5;
 }
 
 div.headertitle
@@ -1034,4 +1030,22 @@ table.modificationtable td {
 
 .mdescRight {
   padding-left: 40px;
-}
+}
+
+#nav-tree {
+  background:none;
+  background-color: #E4EBF7;
+  border-right: 1px solid #ACACAC;
+}
+
+#side-nav {
+  width: 250px;
+}
+
+#doc-content {
+  margin-left: 250px;
+}
+
+#nav-path {
+  display: none;
+}