body {
			background-color: white;
			color: black;
}

.emphasis-reverse {
       color: white;
       background-color: black;
  }

span.navtitle {
			color: black;
			font-family: ariel, helvetica, helv, sanserif;
			font-weight: bold;
			font-size: 1em;
}

pre.programlisting {
			left-margin: 2em
}

.keycap {background-color: silver;}

div.htmltoc {
}

pre {
 white-space: pre-wrap;       /* css-3 */
 white-space: -moz-pre-wrap;  /* Mozilla, since 1999 */
 white-space: -pre-wrap;      /* Opera 4-6 */
 white-space: -o-pre-wrap;    /* Opera 7 */
 word-wrap: break-word;       /* Internet Explorer 5.5+ */
 border: 1px dashed lightgrey;
 padding: 7px;
 background: #fafafa;
}