From: Andre <maan@p133.(none)>
Date: Sat, 10 Jun 2006 21:36:32 +0000 (+0200)
Subject: revert recent css changes
X-Git-Tag: v0.2.14~63^2~4
X-Git-Url: http://git.tuebingen.mpg.de/?p=paraslash.git;a=commitdiff_plain;h=65572373b52dad3f2ff3b8302a6f7491553f07b1;hp=f03ec9e1fdbd0a2f01f5b46fb7dbb6d2f72b7f38

revert recent css changes
---

diff --git a/Makefile.in b/Makefile.in
index 67ba7d61..aa9de2bf 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -247,7 +247,7 @@ install: all
 ChangeLog:
 	para_util changelog > $@
 web/%.in.html: %
-	grutatxt -nb  < $<  | sed -e 's/pre/p/g' -e 's/class=level3//g' > $@
+	grutatxt -nb  < $< > $@
 tags:
 	rm -rf web/sync/HTML && gtags && htags -nF && mv HTML web/sync
 doc:
diff --git a/web/para.css b/web/para.css
index a8e69fb1..62925efb 100644
--- a/web/para.css
+++ b/web/para.css
@@ -111,7 +111,6 @@ DIV.groupHeader {
        font-weight: bold;
 }
 DIV.groupText { margin-left: 16px; font-style: italic; font-size: 90% }
-DIV.level1 {font-size: 10%}
 BODY {
 	background: black;
 	color: #bbbbbb;