Scheduler: Update ReadHelper/WriteHelper to ne Socket API

[senf.git] / doclib / senf.css

diff --git a/doclib/senf.css b/doclib/senf.css
index 930f542..12a3f3e 100644 (file)
--- a/doclib/senf.css
+++ b/doclib/senf.css
@@ -13,12 +13,22 @@ body {
         background-color: #EDE497;
 }
 
-#head h1 {
-        margin: 0 0 0 100px;
-        padding: 6px 0 0 42px;
-        height: 33px;
+#title { 
+        height: 39px;
         background-color: #DECD40;
         border-bottom: 1px solid #AF9D00;
+        margin: 0 0 0 100px;
+}
+
+#title2 {
+       padding: 0 0 0 42px;
+       max-width: 62em;
+        margin: 0 10px 0 0;
+}
+
+#head h1 {
+        margin: 0;
+        padding: 6px 0 0 0;
         font-size: 22px;
         font-weight: bold;
         color: white;
@@ -53,40 +63,34 @@ body {
 
 #head li { 
        list-style-type: none;
-       margin: 0 0 0 15px;
-       padding: 0 0 0 5px;
+       margin: 0 0 0 10px;
+       padding: 0 10px 0 0;
        float: right;
-       border-left: 4px solid #726921;
+       border-right: 1px solid #726921;
        height: 14px;
 }
 
+#head li:first-child { 
+       border-right: none;
+       padding: 0;
+}
+
 #head a { 
        font-weight: normal;
-       color: inherit;
+        color: #726921;
 }
 
 #head a:hover { 
-       background-color: inherit;
+       background-color: #EDE497;
        text-decoration: underline;
 }
 
-#search { 
-       margin: 0 10px 0 100px;
-       padding: 0 0 0 42px;
-       max-width: 62em;
-}
-
-#search2 {
+#search {
         float: right;
         width: 150px;
         height: 39px;
         font-size: 10px;
-        /* margin/padding/color/background-color/border: mostly IE6/IE7 fixes */
-        margin: 0 0 0 -10px;
-        padding: 0 0 0 10px;
         color: #726921;
-        background-color: #DECD40;
-        border-bottom: 1px solid #AF9D00;
 }
 
 #search input {