web: Remove some duplicate rules in para.css.

diff --git a/web/para.css b/web/para.css
index 5372415..1460802 100644 (file)
--- a/web/para.css
+++ b/web/para.css
@@ -17,6 +17,7 @@ td {
        font-size: 100%;
        vertical-align: top;
 }
        font-size: 100%;
        vertical-align: top;
 }

+

 caption { font-weight: bold }
 
 /* doxgen */
 caption { font-weight: bold }
 
 /* doxgen */


@@ -79,11 +80,6 @@ a.codeRef:visited {
        color: #BA3708
 }
 
        color: #BA3708
 }
 

-a:hover {
-       text-decoration: none;
-       background-color: #ffff00
-}
-

 dl.el { margin-left: -1cm }
 .fragment {
        font-family: Fixed, monospace;
 dl.el { margin-left: -1cm }
 .fragment {
        font-family: Fixed, monospace;


@@ -227,10 +223,6 @@ a {
        color: #cc3322;
 }
 
        color: #cc3322;
 }
 

-a:visited {
-       color: #cc3322;
-}
-

 .dirtab { padding: 4px;
           border-collapse: collapse;
           border: 1px solid #84b007;
 .dirtab { padding: 4px;
           border-collapse: collapse;
           border: 1px solid #84b007;


@@ -296,27 +288,6 @@ hr {
        color: #ffff00;
        font-style: italic;
 }
        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;
 
 span.cntrl {
        border: dashed #aaaaaa;


@@ -470,10 +441,6 @@ a.text:hover {
        color: #880000;
 }
 
        color: #880000;
 }
 

-table {
-       padding: 8px 4px;
-}
-

 table.project_list {
        border-spacing: 0;
 }
 table.project_list {
        border-spacing: 0;
 }


@@ -539,12 +506,6 @@ tr.dark:hover {
        color: #cc3322;
 }
 
        color: #cc3322;
 }
 

-td {
-       padding: 2px 5px;
-       font-size: 100%;
-       vertical-align: top;
-}
-

 td.link, td.selflink {
        padding: 2px 5px;
        font-family: sans-serif;
 td.link, td.selflink {
        padding: 2px 5px;
        font-family: sans-serif;