X-Git-Url: http://g0dil.de/git?a=blobdiff_plain;f=doclib%2Fsenf.css;h=12a3f3e25d1fad62a044c27286b85b32c42ff209;hb=52a1b4f399650138cdd7f5e111200ac5f6702be3;hp=1004b9f1bb4c8cd97042801da4a8892e41279c46;hpb=85ab07d100a382467a42e19d741d403a7a96c951;p=senf.git

diff --git a/doclib/senf.css b/doclib/senf.css
index 1004b9f..12a3f3e 100644
--- a/doclib/senf.css
+++ b/doclib/senf.css
@@ -2,6 +2,7 @@ body {
         padding: 0;
         margin: 0;
         font-family: Verdana, Arial, Helvetica, sans-serif;
+	font-size: 10pt;
 }
 
 #head {
@@ -12,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;
@@ -25,17 +36,75 @@ body {
         text-align: left;
 }
 
-#head h2 {
-        margin: 0 0 0 100px;
+#subtitle {
+        margin: 0 10px 0 100px;
         padding: 4px 0 0 42px;
         height: 18px;
+	max-width: 62em;
         background-color: #EDE497;
         color: #726921;
-        font-size: 13px;
+}
+
+#head h2 {
+	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;
+}
+
+#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;
+}
+
+#head li:first-child { 
+	border-right: none;
+	padding: 0;
+}
+
+#head a { 
+	font-weight: normal;
+        color: #726921;
+}
+
+#head a:hover { 
+	background-color: #EDE497;
+	text-decoration: underline;
+}
+
+#search {
+        float: right;
+        width: 150px;
+        height: 39px;
+        font-size: 10px;
+        color: #726921;
+}
+
+#search input { 
+        display: block;
+        height: 16px;
+        border: 1px solid #AF9D00;
+        width: 100%;
+}
+
+#search form { 
+        margin: 0;
+        padding: 0;
+}
+
 #content1 {
         padding: 0 10px 10px 0;
         border-bottom: 1px solid #AF9D00;
@@ -52,7 +121,7 @@ a {
         text-decoration: none;
 }
 
-a:contains("http://") {
+a.literal {
         font-weight: normal;
 }
 
@@ -60,6 +129,11 @@ a.ext {
         font-style: italic;
 }
 
+a.anchor { 
+        color: inherit;
+        background-color: white !important;
+}
+
 div.tabs {
         display: inline; /* IE double margin fix */
         float: left;
@@ -178,13 +252,6 @@ table.senf th {
         font-weight: bold;
 }
 
-dl.bug, dl.fixme, dl.todo, dl.idea {
-        border: 1px solid #EE0000;
-        border-left-width: 4px;
-        background-color: #FFDDDD;
-        padding: 0 10px;
-}
-
 dl.xref-bug, dl.xref-fix, dl.xref-todo, dl.xref-idea {
         border: 1px solid #CC8888;
         padding: 2px 3px;
@@ -206,36 +273,41 @@ dl.xref-bug a, dl.xref-fix a, dl.xref-todo a, dl.xref-idea a {
         color: #6666FF;
 }
 
-dl.fixme {
-        border-color: #EEEE00;
-        background-color: #FFFFDD;
-}
-
 dl.xref-fix {
         border-color: #CCCC88;
         background-color: #FFFFEE;
 }
 
-dl.todo {
-        border-color: #00AA00;
-        background-color: #DDFFDD;
-}
-
 dl.xref-todo {
         border-color: #88CC88;
         background-color: #EEFFEE;
 }
 
-dl.idea {
-        border-color: #AAAAAA;
-        background-color: #EEEEEE;
-}
-
 dl.xref-idea {
         border-color:  #CCCCCC;
         background-color: #F8F8F8;
 }
 
+div.bug, div.fixme, div.todo, div.idea { 
+        padding-left: 10px;
+}
+
+div.bug { 
+        border-left: 10px solid red;
+}
+
+div.fixme { 
+        border-left: 10px solid yellow;
+}
+
+div.todo { 
+        border-left: 10px solid green;
+}
+
+div.idea { 
+        border-left: 10px solid #AAAAAA;
+}
+
 table {
         width: 100%;
 }
@@ -270,6 +342,7 @@ dl.parameters dd table {
 table.glossary {
         border: none;
         border-spacing: 0;
+        margin: 10px 0;
 }
 
 table.glossary tr td {
@@ -288,4 +361,11 @@ table.glossary tr td:first-child {
 
 table.members td:first-child {
         width: 35%;
-}
\ No newline at end of file
+}
+
+/* 
+ * Local Variables:
+ * indent-tabs-mode: nil
+ * ispell-local-dictionary: "american"
+ * End:
+ */