web: Clean up style sheet.

This removes some unnecessary cruft. The pages still look as before,
at least in elinks and firefox.

diff --git a/web/para.css b/web/para.css
index bd5f1a102bd70ef371729da332ebd95b03774c2d..07267141bc0245bd32727a8bcd410df40d527cb6 100644 (file)
--- a/web/para.css
+++ b/web/para.css
@@ -1,26 +1,12 @@
-body,h1,h2,h3,h4,h5,h6,p,center,td,th,ul,dl,div {
-       font-family: sans-serif;
-}
-
 body {
+       font-family: sans-serif;
        background-color: black;
        color: #bbbbbb;
        margin: 20px;
 }
 
-table {
-       padding: 8px 4px;
-}
-
-th {
-       padding: 2px 5px;
-       font-size: 100%;
-       text-align: left;
-}
-
 td {
        padding: 2px 5px;
-       font-size: 100%;
        vertical-align: top;
 }
 
@@ -35,13 +21,9 @@ a {
 }
 
 hr {
-       height: 1px;
-       border: none;
        border-top: 1px solid yellow;
 }
 
-caption { font-weight: bold }
-
 /* doxgen */
 
 /* Data structure index. Box with clickable letters */