body {
  font-family: "Times New Roman";
  color: black;
  background-color: #ffffff }

body {
scrollbar-face-color:#336699; /* dark blue */
scrollbar-highlight-color:#FFFFFF; /* white */
scrollbar-3dlight-color:#C0C0C0; /* lte grey */
scrollbar-darkshadow-color:#000000; /* black */
scrollbar-shadow-color:#808080; /* medium grey */
scrollbar-arrow-color:#FFFFFF; /* white */
scrollbar-track-color:#E0E0E0; /* lite blue grey */
margin: 0.25em 0.5em;
}

h1 {
  font-family: "Times New Roman"}

a:link {
  color: 003366 }

a:visited {
  color: #800000 }