revert recent css changes

diff --git a/Makefile.in b/Makefile.in
index 67ba7d6100a42a3baa331ef1ae5ddb94911195ea..aa9de2bf44823a5fb3dda68cf28920aeda29c1d1 100644 (file)
--- a/Makefile.in
+++ b/Makefile.in
@@ -247,7 +247,7 @@ install: all
 ChangeLog:
        para_util changelog > $@
 web/%.in.html: %
 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:
 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 a8e69fb1c8313295d86a3727bd914ffd5afb7a4e..62925efbeb84bb991b280b160a77a5f67bc103b9 100644 (file)
--- 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% }
        font-weight: bold;
 }
 DIV.groupText { margin-left: 16px; font-style: italic; font-size: 90% }

-DIV.level1 {font-size: 10%}

 BODY {
        background: black;
        color: #bbbbbb;
 BODY {
        background: black;
        color: #bbbbbb;