body,div,p,h1,h2,h3,h4,h5,h6,td,th,ul,li,ol,dt,dd 
  {font-family: arial,helvetica,sans-serif}
body {background-color: white; }
tt, pre, code {font-family: 'courier new', courier, monospace }
pre  {margin-left: 0}
/* h2   {background-color: #dddddd; } */
h2   {color: green; text-align: right;  
      font-style: italic; 
      text-decoration: underline;
      font-variant: small-caps; font-size: 150%;}
h3   {border-bottom: 1px solid black; }
h1      {font-variant: small-caps; 
	 text-align: center;  
	 color: green;}
a:hover  {background-color: orange; border: 0.5px solid red;}
div  {margin-left: 8%; }
div.top    {margin-left: 0;
            border: 1px solid black;             /* patch for Nav 4 */
	    border-top: 1px solid black;
	    border-bottom: 0px solid black;      /* patch for Nav 4 */
	    border-left: 0px solid black;        /* patch for Nav 4 */
	    border-right: 0px solid black;       /* patch for Nav 4 */
	    background-color: #dddddd;
	    font-size: 150%;
	    font-weight: bold;
	    color: green;
	    font-variant: small-caps;
	    padding: 0.2em; }
div.navbar {margin-left: 0%; 
	    border: 1px solid black;             /* patch for Nav 4 */
	    border-top: 1px solid #999999;
	    border-bottom: 1px solid black;
	    border-left: 0px solid black;        /* patch for Nav 4 */
	    border-right: 0px solid black;       /* patch for Nav 4 */
	    text-align: right;
	    background-color: #dddddd;
	    color: #666666;
	    padding: 0.2em;
	    font-size: 90%; }
div.navbar a {text-decoration: none}
div.navbar2 {margin-left: 0%; 
	     border: 1px solid black;             /* patch for Nav 4 */
	     border-bottom: 1px solid black;
	     border-left: 0px solid black;        /* patch for Nav 4 */
	     border-top: 0px solid black;        /* patch for Nav 4 */
	     border-right: 0px solid black;       /* patch for Nav 4 */
	     text-align: right;
	     background-color: #ccffcc;
	     color: #666666;
	     padding: 0.2em;
	     font-size: 90%; }
div.navbar2 a {text-decoration: none}

div.navbar2 span.head {font-variant: small-caps;  
		 float: left; font-size: 120%; }