Chris@0: body { background: white; color: black; font-family: sans-serif; line-height: 1.4em; padding: 2.5em 3em; margin: 0; }
Chris@0: 
Chris@0: :link { color: #00c; }
Chris@0: 
Chris@0: :visited { color: #609; }
Chris@0: 
Chris@0: a:link img { border: none; }
Chris@0: 
Chris@0: a:visited img { border: none; }
Chris@0: 
Chris@0: h1, h2, h3 { background: white; color: #800; }
Chris@0: 
Chris@0: h1 { font: 170% sans-serif; margin: 0; }
Chris@0: 
Chris@0: h2 { font: 140% sans-serif; margin: 1.5em 0 -0.5em 0; }
Chris@0: 
Chris@0: h3 { font: 120% sans-serif; margin: 1.5em 0 -0.5em 0; }
Chris@0: 
Chris@0: h4 { font: bold 100% sans-serif; }
Chris@0: 
Chris@0: h5 { font: italic 100% sans-serif; }
Chris@0: 
Chris@0: h6 { font: small-caps 100% sans-serif; }
Chris@0: 
Chris@0: .hide { display: none; }
Chris@0: 
Chris@0: pre { background: #fff6bb; font-family: monospace; line-height: 1.2em; padding: 1em 2em; }
Chris@0: 
Chris@0: dt { font-weight: bold; margin-top: 0; margin-bottom: 0; }
Chris@0: 
Chris@0: dd { margin-top: 0; margin-bottom: 0; }
Chris@0: 
Chris@0: code, tt { font-family: monospace; }
Chris@0: 
Chris@0: ul.toc { list-style-type: none; }
Chris@0: 
Chris@0: ol.toc li a { text-decoration: none; }
Chris@0: 
Chris@0: .note { color: red; }
Chris@0: 
Chris@0: #header { border-bottom: 1px solid #ccc; }
Chris@0: 
Chris@0: #logo { float: right; }
Chris@0: 
Chris@0: #authors { clear: right; float: right; font-size: 80%; text-align: right; }
Chris@0: 
Chris@0: #content { clear: both; margin: 2em auto 0 0; text-align: justify }
Chris@0: 
Chris@0: #download { font-family: sans-serif; margin-bottom: 1em; text-align: center; }
Chris@0: 
Chris@0: #download h2 { font-size: 125%; margin: 1.5em 0 -0.2em 0; }
Chris@0: 
Chris@0: #download small { color: #888; font-size: 80%; }
Chris@0: 
Chris@0: #footer { border-top: 1px solid #ccc; color: #aaa; margin: 2em 0 0; }
Chris@0: 
Chris@0: 
Chris@0: 
Chris@0: @media Print {
Chris@0: 
Chris@0: * { font-size: 92%; }
Chris@0: 
Chris@0: body { padding: 0; line-height: 1.2em; }
Chris@0: 
Chris@0: #content { margin: 0; width: 100%; }
Chris@0: 
Chris@0: }
Chris@0: 
Chris@0: @media Aural {
Chris@0: 
Chris@0: h1 { stress: 20; richness: 90; }
Chris@0: 
Chris@0: h2 { stress: 20; richness: 90; }
Chris@0: 
Chris@0: h3 { stress: 20; richness: 90; }
Chris@0: 
Chris@0: .hide { speak: none; }
Chris@0: 
Chris@0: dt { pause-before: 20%; }
Chris@0: 
Chris@0: pre { speak-punctuation: code; }
Chris@0: 
Chris@0: }
Chris@0: 
Chris@0: .Stil2 {color: #000000}