adjust height padding of prefs_tab style

diff --git a/docs/themes/default/styles.css b/docs/themes/default/styles.css
index 77d58ff..dad357b 100644 (file)
--- a/docs/themes/default/styles.css
+++ b/docs/themes/default/styles.css
@@ -2079,7 +2079,7 @@ table.etabbed-table       {
        background-color: #FFFFFF;
        border-radius: .3em .3em 0em 0em;
        -moz-border-radius: .3em .3em 0em 0em;
-       padding: 0em .5em 0em .5em ;
+       padding: .2em .5em 0em .5em ;
        -moz-box-shadow:.1em .1em 0 #999999;
        box-shadow: .1em .1em 0 #999999;
        display: inline;
@@ -2101,7 +2101,7 @@ table.etabbed-table       {
        margin: 0px;
        font-weight:bold;
        text-align:center;
-       padding: .3em .5em 0em .5em ;
+       padding: .2em .5em 0em .5em ;
        white-space: nowrap;
        text-decoration:none;
        border-radius:.3em;