web: Remove some duplicate rules in para.css.

diff --git a/web/para.css b/web/para.css
index 53724153b2babb1153551237d36ab3951612984c..1460802681a4334cc7bef82d883896fa7587d8d8 100644 (file)
--- a/web/para.css
+++ b/web/para.css
@@ -17,6 +17,7 @@ td {
        font-size: 100%;
        vertical-align: top;
 }
+
 caption { font-weight: bold }
 
 /* doxgen */
@@ -79,11 +80,6 @@ a.codeRef:visited {
        color: #BA3708
 }
 
-a:hover {
-       text-decoration: none;
-       background-color: #ffff00
-}
-
 dl.el { margin-left: -1cm }
 .fragment {
        font-family: Fixed, monospace;
@@ -227,10 +223,6 @@ a {
        color: #cc3322;
 }
 
-a:visited {
-       color: #cc3322;
-}
-
 .dirtab { padding: 4px;
           border-collapse: collapse;
           border: 1px solid #84b007;
@@ -296,27 +288,6 @@ hr {
        color: #ffff00;
        font-style: italic;
 }
-body {
-       font-family: sans-serif;
-       background-color: black;
-       color: #bbbbbb;
-       margin: 0px;
-}
-
-a {
-       color: #cc3322;
-}
-
-a:hover {
-       color: #cc3322;
-       background-color: #ffff00;
-}
-
-hr {
-       height: 1px;
-       border: none;
-       border-top: 1px solid yellow;
-}
 
 span.cntrl {
        border: dashed #aaaaaa;
@@ -470,10 +441,6 @@ a.text:hover {
        color: #880000;
 }
 
-table {
-       padding: 8px 4px;
-}
-
 table.project_list {
        border-spacing: 0;
 }
@@ -539,12 +506,6 @@ tr.dark:hover {
        color: #cc3322;
 }
 
-td {
-       padding: 2px 5px;
-       font-size: 100%;
-       vertical-align: top;
-}
-
 td.link, td.selflink {
        padding: 2px 5px;
        font-family: sans-serif;