gui: Check return value of para_exec_cmdline_pid().
[paraslash.git] / web / para.css
index e44452e..f103abd 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 */
@@ -89,8 +93,8 @@ A.qindexHL:visited {
 
 A.el { text-decoration: none; font-weight: bold }
 A.elRef { font-weight: bold }
-A.code:link { text-decoration: none; font-weight: normal; color: ##BA3708}
-A.code:visited { text-decoration: none; font-weight: normal; color: ##BA3708}
+A.code:link { text-decoration: none; font-weight: normal; color: #BA3708}
+A.code:visited { text-decoration: none; font-weight: normal; color: #BA3708}
 A.codeRef:link { font-weight: normal; color: #BA3708}
 A.codeRef:visited { font-weight: normal; color: #BA3708}
 A:hover { text-decoration: none; background-color: #ffff00 }