FIxes for Safari

diff --git a/doc/docstyles.css b/doc/docstyles.css
index 319597299ddfa052c23af3f0a5d495cc210e49a1..ab9449a8a66e52cbd5b5c446e67cd666f5078e4a 100755 (executable)
--- a/doc/docstyles.css
+++ b/doc/docstyles.css
@@ -122,12 +122,10 @@ ul {
        background-color: #FBFBFB;
        margin: auto auto 20px 30px;
        padding: 5px;
-       height: auto;
-       width: auto;
+       width: compact;
        font-weight: bold;
        border: 1px solid #999999;
        white-space: nowrap;
-       display: compact;
        clear: both;
        float: none;
 }