From 65572373b52dad3f2ff3b8302a6f7491553f07b1 Mon Sep 17 00:00:00 2001
From: Andre <maan@p133.(none)>
Date: Sat, 10 Jun 2006 23:36:32 +0200
Subject: [PATCH 1/1] revert recent css changes

---
 Makefile.in  | 2 +-
 web/para.css | 1 -
 2 files changed, 1 insertion(+), 2 deletions(-)

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;
-- 
2.39.2