1 files changed, 6 insertions, 3 deletions
diff --git a/doc/html/tabs.css b/doc/html/tabs.css
index c37faaf..ab02c62 100755
--- a/doc/html/tabs.css
+++ b/doc/html/tabs.css
@@ -32,7 +32,7 @@ DIV.tabs A
    float            : left;
    background       : url("tab_r.gif") no-repeat right top;
    border-bottom    : 1px solid #84B0C7;
-   font-size        : x-small;
+   font-size        : 80%;
    font-weight      : bold;
    text-decoration  : none;
 }
@@ -66,7 +66,7 @@ DIV.tabs INPUT
 
 DIV.tabs TD
 {
-   font-size        : x-small;
+   font-size        : 80%;
    font-weight      : bold;
    text-decoration  : none;
 }
@@ -94,9 +94,12 @@ DIV.tabs LI.current SPAN
    padding-bottom   : 6px;
 }
 
-DIV.nav
+DIV.navpath
 {
    background       : none;
    border           : none;
    border-bottom    : 1px solid #84B0C7;
+   text-align       : center;
+   margin           : 2px;
+   padding          : 2px;
 }