Add INPUT_FILTER support do Doxygen builder

[senf.git] / doclib / senf.css

diff --git a/doclib/senf.css b/doclib/senf.css
index 86b4cd2..fc59ad8 100644 (file)
--- 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