/* CSS stylesheet for how-tos */

BODY { 
  color: black; 
  background: #cccccc; 
}

pre.console { 
  background: black; 
  color: #0f0; 
  border: thin solid blue;
  padding: 0.5em; 
  margin: 0.5em;
  overflow: auto; 
}
pre.console .prompt { color: #f00; }
pre.console .input { color: white; font-weight: bold; }
pre.console .input-hidden { color: silver; }
DT { font-weight: bold; }

pre.file {
  font-weight: bold;
}
pre.snippet { 
  background: white; 
  color: black;
  border: thin dashed blue; 
  padding: 1em; 
  margin: 0.5em;
  overflow: auto;
}
pre.snippet .comment { color: green; }

img { border: thick solid black; }

#input-hidden-example { background: black; color: silver; font-family: monospace; padding: 0.5em; }
