X-Git-Url: http://g0dil.de/git?a=blobdiff_plain;f=doclib%2Fsenf.css;h=9af205925ca804152575ee8f7e6765368e8259f2;hb=a3d3979b7daaf22ea63ca356edbfa8047dff7b78;hp=8c84bf418b7a7f533f5c5a105b6488d01e8d9e68;hpb=6adf2654f6d2519f2f3b581f5e6cfe0e8edf9a60;p=senf.git

diff --git a/doclib/senf.css b/doclib/senf.css
index 8c84bf4..9af2059 100644
--- a/doclib/senf.css
+++ b/doclib/senf.css
@@ -2,7 +2,7 @@ body {
         padding: 0;
         margin: 0;
         font-family: Verdana, Arial, Helvetica, sans-serif;
-	font-size: 10pt;
+        font-size: 10pt;
 }
 
 #head {
@@ -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;
@@ -30,68 +40,57 @@ body {
         margin: 0 10px 0 100px;
         padding: 4px 0 0 42px;
         height: 18px;
-	max-width: 62em;
+        max-width: 62em;
         background-color: #EDE497;
         color: #726921;
 }
 
 #head h2 {
-	margin: 0;
-	padding: 0;
-	font-size: 13px;
+        margin: 0;
+        padding: 0;
+        font-size: 13px;
         font-weight: normal;
         white-space: nowrap;
 }
 
 #head ul { 
-	display: inline; /* für IE ... */
-	font-size: 13px;
-	height: 0px;
-	margin: 0;
-	padding: 0;
+        display: inline; /* f�r IE ... */
+        font-size: 13px;
+        height: 0px;
+        margin: 0;
+        padding: 0;
 }
 
 #head li { 
-	list-style-type: none;
-	margin: 0 0 0 10px;
-	padding: 0 10px 0 0;
-	float: right;
-	border-right: 1px solid #726921;
-	height: 14px;
+        list-style-type: none;
+        margin: 0 0 0 10px;
+        padding: 0 10px 0 0;
+        float: right;
+        border-right: 1px solid #726921;
+        height: 14px;
 }
 
 #head li:first-child { 
-	border-right: none;
-	padding: 0;
+        border-right: none;
+        padding: 0;
 }
 
 #head a { 
-	font-weight: normal;
-	color: inherit;
+        font-weight: normal;
+        color: #726921;
 }
 
 #head a:hover { 
-	background-color: inherit;
-	text-decoration: underline;
-}
-
-#search { 
-	margin: 0 10px 0 100px;
-	padding: 0 0 0 42px;
-	max-width: 62em;
+        background-color: #EDE497;
+        text-decoration: underline;
 }
 
-#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 { 
@@ -191,6 +190,11 @@ div.tabs ul li a:hover, div.tabs ul li.current a {
         background-color: #EDE497;
 }
 
+div.tabs ul li.level1 a {
+        padding-left: 1.5em;
+        font-size: 90%;
+}
+
 #footer {
         clear: both;
         padding: 4px 10px 4px 142px;
@@ -259,7 +263,7 @@ dl.xref-bug, dl.xref-fix, dl.xref-todo, dl.xref-idea {
         margin: 4px 8px 4px 2px;
         background-color: #FFEEEE;
         color: #666666;
-        font-size: 9px;
+        font-size: 75%;
         overflow: hidden;
 }
 
@@ -309,6 +313,36 @@ div.idea {
         border-left: 10px solid #AAAAAA;
 }
 
+dl.implementation {
+        color: #666666;
+        font-size: 75%;
+}
+
+p.memtitle {
+        color: #1a41a8;
+        font-weight: bold;
+        margin-right: 14px;
+        border-bottom: 1px solid #84b0c7;
+}
+
+p.sourceline, p.references, p.referencedby, p.reimplementedfrom, p.reimplementedin, 
+p.implementedin {
+        color: #666666;
+        font-size: 75%;
+        margin-bottom: .2em;
+        margin-top: .2em;
+}
+
+div.memdoc p.sourceline, p.references, p.referencedby, p.reimplementedfrom, p.reimplementedin, 
+p.implementedin {
+        margin-left: 10em;
+        text-indent: -4em;
+}
+
+div.memproto {
+        margin-bottom: .5em;
+}
+
 table {
         width: 100%;
 }