client.c: supervisor task should use post_select instead of pre_select.
[paraslash.git] / web / para.css
index 3661214..157cce9 100644 (file)
@@ -1,6 +1,9 @@
 BODY,H1,H2,H3,H4,H5,H6,P,CENTER,TD,TH,UL,DL,DIV {
-       font-family: Geneva, Arial, Helvetica, sans-serif;
+       font-family: sans-serif;
+       font-size: small;
 }
+
+/*
 BODY,TD {
        font-size: 90%;
 }
@@ -14,6 +17,7 @@ H2 {
 H3 {
        font-size: 100%;
 }
+*/
 CAPTION { font-weight: bold }
 
 /* doxgen */
@@ -388,44 +392,3 @@ HR { height: 1px;
   font-style: italic;
 }
 
-
-
-/* gitweb */
-div.page_header { height:25px; padding:8px; font-size:18px; font-weight:bold;
-       background -color:#000000; }
-div.page_nav { padding:8px; }
-div.page_path { padding:8px; border:solid #d9d8d1; border-width:0px 0px 1px}
-div.page_footer { height:17px; padding:4px 8px; background-color: #000000; }
-div.page_footer_text { float:left; color:#888888; font-style:italic; }
-div.page_body { padding:8px; }
-div.title, a.title {
-        padding:6px 8px;
-        font-weight:bold;
-}
-div.log_body { padding:8px 8px 8px 150px; }
-span.age { position:relative; float:left; width:142px; font-style:italic; }
-div.log_link {
-        padding:0px 8px;
-        font-size:10px; font-family:sans-serif; font-style:normal;
-        position:relative; float:left; width:136px;
-}
-table { padding:8px 4px; }
-th { padding:2px 5px; font-size:12px; text-align:left; }
-td { padding:2px 5px; font-size:12px; vertical-align:top; }
-td.link { padding:2px 5px; font-family:sans-serif; font-size:10px; }
-div.pre { font-family:monospace; font-size:12px; white-space:pre; }
-div.diff_info { font-family:monospace; color:#8888ff; font-style:italic; }
-div.index_include { border:solid #d9d8d1; border-width:0px 0px 1px; padding:12px 8px; }
-div.search { margin:4px 8px; position:absolute; top:56px; right:12px }
-a.linenr { color:#999999; text-decoration:none }
-a.rss_logo {
-        float:right; padding:3px 0px; width:35px; line-height:10px;
-        border:1px solid; border-color:#fcc7a5 #7d3302 #3e1a01 #ff954e;
-        color:#ffffff; background-color:#ff6600;
-        font-weight:bold; font-family:sans-serif; font-size:10px;
-        text-align:center; text-decoration:none;
-}
-a.rss_logo:hover { background-color:#ee5500; }
-span.tag {
-        padding:0px 4px; font-size:10px; font-weight:normal;
-