web: Make the body selector of the two css files consistent.

[paraslash.git] / web / para.css

diff --git a/web/para.css b/web/para.css
index cc071a91757976e079e72657db30effad145cb2a..abd68ffcb146263341b5bfd68e77bf9631387922 100644 (file)
--- a/web/para.css
+++ b/web/para.css
@@ -1,14 +1,19 @@
-BODY,H1,H2,H3,H4,H5,H6,P,CENTER,TD,TH,UL,DL,DIV {
+body,h1,h2,h3,h4,h5,h6,p,center,td,th,ul,dl,div {
        font-family: sans-serif;
-       font-size: small;
 }
 
-CAPTION { font-weight: bold }
+body {
+       background-color: black;
+       color: #bbbbbb;
+       margin: 0px;
+}
+
+caption { font-weight: bold }
 
 /* doxgen */
 
 /* Data structure index. Box with clickable letters */
-DIV.qindex {
+div.qindex {
        width: 100%;
        background-color: #000055;
        border: 1px solid #ffff00;
@@ -19,64 +24,64 @@ DIV.qindex {
 }
 
 /* Data structure index, clickable letters */
-A.qindex {
+a.qindex {
        text-decoration: none;
        font-weight: bold;
        color: #cc3322;
 }
 
-A.qindex:visited {
+a.qindex:visited {
        text-decoration: none;
        font-weight: bold;
        color: #cc3322
 }
 
-A.qindex:hover {
+a.qindex:hover {
        text-decoration: none;
        background-color: #ffff00;
 }
 
-A.el {
+a.el {
        text-decoration: none;
        font-weight: bold
 }
 
-A.elRef { font-weight: bold }
+a.elRef { font-weight: bold }
 
-A.code:link {
+a.code:link {
        text-decoration: none;
        font-weight: normal;
        color: #BA3708
 }
 
-A.code:visited {
+a.code:visited {
        text-decoration: none;
        font-weight: normal;
        color: #BA3708
 }
 
-A.codeRef:link {
+a.codeRef:link {
        font-weight: normal;
        color: #BA3708
 }
 
-A.codeRef:visited {
+a.codeRef:visited {
        font-weight: normal;
        color: #BA3708
 }
 
-A:hover {
+a:hover {
        text-decoration: none;
        background-color: #ffff00
 }
 
-DL.el { margin-left: -1cm }
+dl.el { margin-left: -1cm }
 .fragment {
        font-family: Fixed, monospace;
        font-size: 95%;
 }
 
-PRE.fragment {
+pre.fragment {
        border: 1px solid #CCCCCC;
        background-color: #351505;
        margin-top: 4px;
@@ -90,7 +95,7 @@ PRE.fragment {
 }
 
 /* data structures non-clickable letters */
-DIV.ah {
+div.ah {
        background-color: black;
        font-weight: bold;
        color: #cccccc;
@@ -98,28 +103,21 @@ DIV.ah {
        margin-top: 3px
 }
 
-DIV.groupHeader {
+div.groupHeader {
        margin-left: 16px;
        margin-top: 12px;
        margin-bottom: 6px;
        font-weight: bold;
 }
 
-DIV.groupText {
+div.groupText {
        margin-left: 16px;
        font-style: italic;
        font-size: 90%
 }
 
-BODY {
-       background: black;
-       color: #bbbbbb;
-       margin-right: 20px;
-       margin-left: 20px;
-}
-
 /* File list */
-TD.indexkey {
+td.indexkey {
        background-color: #000055;
        font-weight: bold;
        padding-right  : 10px;
@@ -133,7 +131,7 @@ TD.indexkey {
        border: 1px solid #ffff00;
 }
 
-TD.indexvalue {
+td.indexvalue {
        background-color: #000055;
        font-style: italic;
        padding-right  : 10px;
@@ -147,12 +145,12 @@ TD.indexvalue {
        border: 1px solid #ffff00;
 }
 
-TR.memlist {
+tr.memlist {
    background-color: #112244;
 }
-P.formulaDsp { text-align: center; }
-IMG.formulaDsp { }
-IMG.formulaInl { vertical-align: middle; }
+p.formulaDsp { text-align: center; }
+img.formulaDsp { }
+img.formulaInl { vertical-align: middle; }
 
 /* Overwiew on top of page for *.c file */
 
@@ -199,19 +197,19 @@ IMG.formulaInl { vertical-align: middle; }
        font-weight: bold;
 }
 
-FORM.search {
+form.search {
        margin-bottom: 0px;
        margin-top: 0px;
 }
 
-INPUT.search {
+input.search {
        font-size: 75%;
        color: #800000;
        font-weight: normal;
        background-color: #000000;
 }
 
-TD.tiny {
+td.tiny {
        font-size: 75%;
 }
 
@@ -229,12 +227,12 @@ a:visited {
           border: 1px solid #84b007;
 }
 
-TH.dirtab {
+th.dirtab {
        background: #080e02;
        font-weight: bold;
 }
 
-HR {
+hr {
        height: 1px;
        border: none;
        border-top: 1px solid yellow;