X-Git-Url: http://g0dil.de/git?a=blobdiff_plain;f=doclib%2Fsenf.css;h=fc59ad809456135182c2ed99818dc6464b1cf423;hb=5a5c6d7f0fae7ad6c0af49d7742955cb6cf618cf;hp=86b4cd270b2b18b5cb0c053bee4429c6a3c45faa;hpb=05633cf2fb569dad4bf2118ec5203e61974b35f5;p=senf.git

diff --git a/doclib/senf.css b/doclib/senf.css
index 86b4cd2..fc59ad8 100644
--- a/doclib/senf.css
+++ b/doclib/senf.css
@@ -44,7 +44,7 @@ body {
 #content2 { 
         /* need non-zero top padding here to prevent margin propagation */
 	padding: 10px 0 0 142px;
-	max-width: 60em;
+	max-width: 62em;
 }
 
 a { 
@@ -100,12 +100,150 @@ div.tabs ul li a:visited, div.tabs ul li a:active {
         text-decoration: none;
 }
 
-div.tabs ul li a:hover, div.tabs ul li#current a { 
+div.tabs li.current a {
+	background-position: 100% -150px;
+	border-width     : 0px;
+}
+
+div.tabs li.current span {
+	background-position: 0% -150px;
+	padding-bottom   : 6px;
+}
+
+div.tabs ul li a:hover, div.tabs ul li.current a { 
 	color: #726921;
 	text-decoration: none;
 	background-color: #EDE497;
 }
 
+#footer { 
+	clear: both;
+	padding: 4px 10px 4px 142px;
+	color: #726921;
+	white-space: nowrap;
+	text-align: right;
+	max-width: 62em;
+}
+
+#footer span { 
+        font-size: 10px;
+}
+
+#footer a, #footer a:active, #footer a:visited { 
+	color: #726921;
+	text-decoration: none;
+}
+
+#footer a:hover { 
+	background-color: inherit;
+	text-decoration: underline;
+}
+
+dl.attention { 
+	border: 1px solid #AADD88;
+	background-color: #EEFFDD;
+	padding: 4px;
+}
+
+dl.warning { 
+	border: 1px solid #DDAA88;
+	background-color: #FFEEDD;
+	padding: 4px;
+}
+
+dl.note { 
+	border: 1px solid A0C2C2;
+	background-color: #F0F8F8;
+	padding: 4px;
+}
+
+table.senf { 
+	width: 95%;
+	margin: 0 auto;
+	border: 1px solid #AAAAAA;
+	padding: 2px;
+	border-spacing: 0;
+}
+
+table.senf td,th { 
+	border: 2px solid white;
+	background-color: #EEEEEE;
+	padding: 2px 4px;
+	text-align: left;
+}
+
+table.senf th { 
+	background-color: #DDDDDD;
+	text-align: center;
+	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;
+	margin: 4px 0;
+	background-color: #FFEEEE;
+	color: #666666;
+	font-size: 9px;
+	overflow: hidden;
+}
+
+dl.xref-bug dt, dl.xref-fix dt, dl.xref-todo dt, dl.xref-idea dt,
+dl.xref-bug dd, dl.xref-fix dd, dl.xref-todo dd, dl.xref-idea dd { 
+	display: inline;
+	margin: 0;
+	padding: 0;
+}
+
+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;
+}
+
+table {
+	width: 100%;
+}
+
+div.ah { 
+	margin-right: 10px;
+}
+
 div.nav { 
 	width: auto;
 	background-color: white;
@@ -120,31 +258,30 @@ div.qindex {
 	background-color: #e8eef2;
 	border: 1px solid #84b0c7;
 	text-align: center;
-	margin: 2px;
+	margin: 2px 0;
 	padding: 2px;
 	line-height: 140%;
 }
 
-#footer { 
-	clear: both;
-	padding: 4px 10px 4px 142px;
-	color: #726921;
-	white-space: nowrap;
-	text-align: right;
-	max-width: 60em;
-}
-
-#footer span { 
-        font-size: 10px;
+dl.parameters dd table { 
+	width: auto;
 }
 
-#footer a, #footer a:active, #footer a:visited { 
-	color: #726921;
-	text-decoration: none;
+table.glossary { 
+	border: none;
+	border-spacing: 0;
 }
 
-#footer a:hover { 
-	background-color: inherit;
-	text-decoration: underline;
+table.glossary tr td { 
+	border: none;
+	border-bottom: 4px solid white;
+	vertical-align: top;
+	padding: 2px 4px;
+	background-color: #F0F0F0;
 }
 
+table.glossary tr td:first-child {
+	font-weight: bold;
+	white-space: nowrap;
+	padding-right: 10px;
+}
\ No newline at end of file