Move a little more here.

diff --git a/Doc/html/style.css b/Doc/html/style.css
index 56fa9777a8bab91ad2b71c1af75c86487a8b10c8..acfdd7fd036e22bd9d8053da7b9abb0abe62a9ff 100644 (file)
--- a/Doc/html/style.css
+++ b/Doc/html/style.css
@@ -39,6 +39,9 @@ var                   { font-family: serif;
 
 .navigation .title     { font-family: avantgarde, sans-serif;
                          font-size: 110% }
+.navigation td         { background-color: #99ccff; }
+
+.titlegraphic          { vertical-align: top; }
 
 .verbatim              { color: #00008b }