body { font-family:      verdana,arial,helvetica,sans-serif;
       color:            #073642;               /* Solarized S_base02 */
       background-color: #ffffff; /* #fdf6e3; Solarized S_base3 */
       width: 1000px;
       margin: 0px 0px 0px 10px;
       link:             #0000ff;
       vlink:            #800080;
       alink:            #ff0000       
     }

pre  { margin-left: 5%; 
       font-family: "courier new",courier,monospace;
     } 

h2,h3,h4  {color:  #000000;
           font-weight: bold; 
           margin-left: 0%;  }

div.leftmarg {margin-left: 5%;}

p, td, th, div, blockquote, dl, ul, ol { 
  line-height: 1.4;
}

a:link, a:visited  {
  text-decoration: underline;
  color: #0000ff;
  background-color: transparent;
}

a:hover, a:active  {
  text-decoration: underline;
  color: #800080;
/*  background-color: #c9c3ed; */
  background-color: #d5e1dd;
}

.note    {color: red;}
.warning {color: red; font-weight: bold}