<style type="text/css">                     } body {color: navy;background: white;                     }strong { color: red }  body { margin-left: 25%; margin-right: 25%; }body { font-family: Verdana, sans-serif; }                p { text-indent: 2em; margin-top: 0; margin-bottom: 0; }em { font-style: italic; font-weight: bold; }strong { text-transform: uppercase;  font-weight: bold; }                  h1 { font-size: 200%; }h2 { font-size: 150%; }h3 { font-size: 100%; }                   h1,h2 { font-family: Garamond, "Times New Roman", serif; }                pre { font-family: monospace; }                   div.box { border: solid; border-width: thin; width: 100% }p.changed {padding-left: 0.2em;border-left: solid;border-right: none;border-top: none;border-bottom: none;border-left-width: thin;border-color: red;           }:link { color: rgb(0, 0, 153) }  /* for unvisited links */:visited { color: rgb(153, 0, 153) } /* for visited links */:active { color: rgb(255, 0, 102) } /* when link is clicked */:hover { color: rgb(0, 96, 255) } /* when mouse is over link */                                     </style>
