tweek height of topnavbar

diff --git a/docs/themes/default/styles.css b/docs/themes/default/styles.css
index 53fb86c..fdc4e5b 100644 (file)
--- a/docs/themes/default/styles.css
+++ b/docs/themes/default/styles.css
@@ -1489,7 +1489,7 @@ div#topnavlistcontainer {
        background-image: url('images/pencils_up_bottom.jpg');
        background-position: 99% 0%;
        background-repeat: no-repeat;
-       height:1.9em;
+       height:1.8em;
        margin-top: .1em;
        border-bottom:1px solid #cccccc;
 }