# Stylesheet for noweb-generated HTML.

# Disclaimers:
# - I'm not a CSS expert, any visual improvements are welcome
# - This stylesheet was only tested on galeon 1.2.5 and mozilla-firebird 0.7
# - The generated contents (*:before) is completely untested, ignored
#   by all tested browsers

body { background-color: white; color: black }
div.title { text-align: center; font-weight: bold; font-size: xx-large;
            text-decoration: underline }
pre { background-color: lightgray; border-style: groove; font-size: larger;
      margin-left: 2ex; margin-top: 1ex }
dfn { font-weight: bolder; background-color: lightyellow; font-size: larger;
      border-style: ridge; border-style: ridge; border-color: lightyellow;
      margin-left: -2ex; margin-top: -1ex;
      text-decoration: none }

h2:before { 
            content: counter(h2) ". ";
            counter-increment: h2;
            counter-reset: h3;
            }
h3:before { 
            content: counter(h2) "." counter(h3) ". ";
            counter-increment: h3;
            counter-reset: h4;
            }
h4:before { 
            content: counter(h2) "." counter(h3) "." counter(h4) ". ";
            counter-increment: h4;
            counter-reset: h5;
            }
