From: Andre Noll <maan@tuebingen.mpg.de>
Date: Tue, 9 Nov 2021 17:16:15 +0000 (+0100)
Subject: web: Clean up style sheet.
X-Git-Tag: v0.7.0~1^2~1
X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=commitdiff_plain;h=bca364535b11df98e85b9bc785d1d71733d11ad8

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 bd5f1a10..07267141 100644
--- 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 */