/* Borrowed from all sorts of places. comments would be welcomed */

/* Default to sans-serif fonts for anything butthe title */
html, body, h2, h3, h4, div, p, ul, li, input {
   font-family: Arial, Helvetica, sans-serif;
}

/* The title */
h1 {
   font-family: Times, "Times New Roman", serif;
   color: navy;
}

div.title {
   text-align: center;
   background: teal;
   color: aqua;
   border-style: solid;
   border-color: silver;
}

/* The standard body colors */
html,body {
  background: green;
  color: white;
}

a:link {
/*   background: #fff; */
  color: #8ff;
}

a:visited {
/*   background: #fff; */
   color: #4cc;
}

a:active {
  background: #ffc;
  color: #900;
  text-decoration: none;
}

a[href]   { text-decoration: underline }
  :focus  { outline: thin dotted invert }
a[href]:hover  { background: blue }

pre {
  direction: ltr;
  text-align: left;
  background: white;
  color: black;
}


/* for a DT n a DL list: */
dt { 
  font-weight: bold;
  margin-top: 3pt; /* some empty space above each item */
}

/* ******************  printing  ************** */

@media print {
  /* give resonable colors when printing */
  html,body {
    background: white;
    color: black;
  }
  h1, h2, h3,
  h4, h5, h6    { page-break-after: avoid; page-break-inside: avoid }
  blockquote,
  pre           { page-break-inside: avoid }
  ul, ol, dl    { page-break-before: avoid }
}