diff --git a/docs/extra.css b/docs/extra.css index b58a5020..c9199c38 100644 --- a/docs/extra.css +++ b/docs/extra.css @@ -61,20 +61,26 @@ div#navrow1,div#navrow2,div#navrow3,div#navrow4 { background-image:none; max-width:920px; margin:0em auto; + font-size:13px; } ul.tablist { min-width:700px; + height:36px; + display:block; + position:relative; } .tablist a,.tablist a:hover,.tablist li,.tablist li.current a { background-image:none; text-shadow:none; + height:36px; } .tablist a,.tablist a:visited { color:hsl(0,0%,95%); text-shadow:none; + padding:0px 12px; } .tablist li.current a {