body {
  font-family: Verdana, Arial, Helvetica, sans-serif;
  margin: 10 30 10 30;
  font-size: 90%;
}

a:visited, a:active { text-decoration: none; }
a:link { color: #000077; }
a:visited { color: #000077; }
a:hover { color: #cc9900; }

h1 { font-size: 140% }
h2 { font-size: 115%; line-height:200% }
h3 { font-size: 105% }
h4 { font-size: 100% }

td {
  font-size:90%;
}

th {
  font-size:90%;
}

pre {
  border-style: solid;
  border-width: 1 1 1 3;
  border-color: #C0C0F0;
  margin: 4 10 4 10;
  padding: 5;
  color: #404060;
  font-family: Courier New; monospace;
  font-size: 90%;
}

td pre {
  border-style: none;
  border-width: 0 0 0 0
  margin: 0 0 0 0;
  padding: 0;
  color: black;
}

.title1 { font-size : 16pt ; background-color : #E0E0E0 }
.title2 { font-size : 16pt ; background-color : #E0E0E0 }
.title3 { font-size : 16pt ; background-color : #E0E0E0 }
.title4 { font-size : 16pt ; background-color : #E0E0E0 }
.title5 { font-size : 16pt ; background-color : #E0E0E0 }
.title6 { font-size : 16pt ; background-color : #E0E0E0; }