Add TCPv6 SocketHandle implementation

[senf.git] / doclib / senf.css

diff --git a/doclib/senf.css b/doclib/senf.css
index 270f997..ad630ac 100644 (file)
--- a/doclib/senf.css
+++ b/doclib/senf.css
@@ -14,24 +14,24 @@ body {
 
 #head h1 {
        margin: 0 0 0 100px;
-        padding: 6px 0 0 0;
+       padding: 6px 0 0 42px;
        height: 33px;
-        background-color: #DECD40;
+       background-color: #DECD40;
        border-bottom: 1px solid #AF9D00;
-        font-size: 22px;
+       font-size: 22px;
        font-weight: bold;
-        color: white;
+       color: white;
        white-space: nowrap;
        text-align: left;
 }
 
 #head h2 {
        margin: 0 0 0 100px;
-       padding: 4px 0 0 0;
+       padding: 4px 0 0 42px;
        height: 18px;
        background-color: #EDE497;
        color: #726921;
-        font-size: 13px;
+       font-size: 13px;
        font-weight: normal;
        white-space: nowrap;
 }
@@ -42,7 +42,7 @@ body {
 }
 
 #content2 { 
-        /* need non-zero top padding here to prevent margin propagation */
+       /* need non-zero top padding here to prevent margin propagation */
        padding: 10px 0 0 142px;
        max-width: 62em;
 }
@@ -57,7 +57,7 @@ a:contains("http://") {
 }
 
 a.ext {
-        font-style: italic;
+       font-style: italic;
 }
 
 div.tabs { 
@@ -66,7 +66,7 @@ div.tabs {
        clear: left;
        background-color: #FDF7C3;
        border: 1px solid #AF9D00;
-        margin: 0 0 10px -132px;
+       margin: 0 0 10px -132px;
        width: 120px; 
        overflow: hidden;
 }
@@ -88,7 +88,7 @@ div.tabs ul li {
 div.tabs ul li a { 
        display: block;
        padding: 2px 5px;
-        font-size: 13px;
+       font-size: 13px;
        color: #726921;
        text-decoration: none;
        white-space: nowrap;
@@ -97,17 +97,17 @@ div.tabs ul li a {
 
 div.tabs ul li a:visited, div.tabs ul li a:active { 
        color: #726921;
-        text-decoration: none;
+       text-decoration: none;
 }
 
 div.tabs li.current a {
        background-position: 100% -150px;
-       border-width     : 0px;
+       border-width: 0px;
 }
 
 div.tabs li.current span {
        background-position: 0% -150px;
-       padding-bottom   : 6px;
+       padding-bottom: 6px;
 }
 
 div.tabs ul li a:hover, div.tabs ul li.current a { 
@@ -126,7 +126,7 @@ div.tabs ul li a:hover, div.tabs ul li.current a {
 }
 
 #footer span { 
-        font-size: 10px;
+       font-size: 10px;
 }
 
 #footer a, #footer a:active, #footer a:visited {