revert recent css changes
authorAndre <maan@p133.(none)>
Sat, 10 Jun 2006 21:36:32 +0000 (23:36 +0200)
committerAndre <maan@p133.(none)>
Sat, 10 Jun 2006 21:36:32 +0000 (23:36 +0200)
Makefile.in
web/para.css

index 67ba7d6..aa9de2b 100644 (file)
@@ -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:
index a8e69fb..62925ef 100644 (file)
@@ -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;