/* no colors in here if at all possible (because of print */

h1, h2, h3, h4, h5 { font-weight: bold; margin: 8px 0px 0px 0px; }
h1 a, h2 a, h3 a, h4 a, h5 a { color: #330099; text-decoration: none; }
h1 { font-size: 1.6em; }
h2 { font-size: 1.4em; }
h3 { font-size: 1.3em; }

.titling { font-size: 150%; font-weight: bold; }

pre { line-height: normal; }

small { font-size: 0.8em; }

.t1 { font: 80% bold verdana; color: #000000; }
.t2 { font: 80% bold verdana; color: #003366; }
.t3 { font: 95% bold verdana; }