/* CSS inspired by http://www.hixie.ch/resources/style/specification */

html { margin: 0; padding: 0; color: black; background: white; }

body { margin: 0; background: top left fixed no-repeat; font-family: sans-serif; }

:link { color: #00C; background: transparent }
:visited { color: #609; background: transparent }
:link:active, :visited:active { color: #C00; background: transparent }
:link:hover, :visited:hover { background: #ffa; }

h1, h2, h3, h4, h5, h6 { text-align: left }
h1, h2, h3 { color: #005A9C; background: transparent; }
h1 { font: 170% sans-serif }
h2 { font: 140% sans-serif }
h3 { font: 120% sans-serif }
h4 { font: bold 100% sans-serif }
h5 { font: italic 100% sans-serif }
h6 { font: small-caps 100% sans-serif }

div.head { margin-bottom: 1em }
div.head h1 { margin-top: 2em; clear: both }
div.head table { margin-left: 2em; margin-top: 2em }
div.head img { color: white; border: none } /* remove border from top image */

p.copyright { font-size: small }
p.copyright small { font-size: small }

@media aural {  
  h1, h2, h3 { stress: 20; richness: 90 }
  p.copyright { volume: x-soft; speech-rate: x-fast }
  dt { pause-before: 20% }
  code, pre { speak-punctuation: code } 
}

body { background-image: url(REC.png); }
body.draft { background-image: url(WD.png); }
body.cr { background-image: url(CR.png); }
pre, code { font-family: monospace; }

/* overall semantic structure presentation */
body { padding: 2em 1em 2em 8.5em; line-height: 1.35; }
pre { margin-left: 2em }
h1 + h2 { margin-top: 0; }
h2 { margin: 3em 0 1em 0; }
p { margin: 1em 0; }
dl, dd { margin-top: 0; margin-bottom: 0; }
dt { margin-top: 0.75em; margin-bottom: 0.25em; clear: left; }
dd dt { margin-top: 0.25em; margin-bottom: 0; }
dd p { margin-top: 0; }
p + * > li, dd li { margin: 1em 0; }
dt, dfn { font-weight: bold; font-style: normal; }
pre, code { font-size: inherit; font-family: monospace; }
pre strong { color: black; font: inherit; font-weight: bold; background: yellow; }
blockquote { margin: 0 0 0 2em; border: 0; padding: 0; font-style: italic; }

/* classes */
ol.alpha { list-style-type: lower-alpha; }
ol.steps li, #current-implementations li { margin: 0.2em; }

@media print {
  body { padding: 0; }
  a { text-decoration: none; }
  dl, p, li { page-break-inside: avoid; }
}