body { color: black; background: white; }

h1, h2 { font-family: sans-serif, sans-serif; color: navy}
h3,h4,h5, { font-family: sans-serif; color: black}

p { font-family: "Times New Roman", serif; }

pre { font-family: monospace; }

 
div.programlisting {border: solid thin silver; padding: 0.5em; }

div.informalexample {border: solid thin silver; padding: 0.5em; }

div.toc {border: solid thin silver; padding: 0.5em; }

div.literallayout {
    padding: 0.5em;
    border: none;
    font-family: monospace;
    font-size: 80%;
  }

div.itemizedlist {font-family: "Times New Roman", serif;}
div.legalnotice {font-family: "Times New Roman", serif; font-size 80%; font-style: italic;}

em { font-style: italic; font-weight: bold; }
strong { text-transform: uppercase;  font-weight: bold; }