html,body	{ background-color: white; color: black }

.little		{ background-color: #A3C3E2 }
.big		{ background-color: #395168 }

h1		{ margin-top: 0px; margin-bottom: 10px; align: center; 
                  text-align: center;
		  font-family: helvetica, arial, sans-serif }

h2		{ font-size: 20pt; background-color: #A3C3E2;
                  margin-top: 5px; padding: 4px; border: none; }

h3		{ font-size: 15pt;
                  margin-top: 10px; padding: 4px; border: none; }

h4		{ font-size: 16pt; background-color: #B0B0B0; margin-bottom: 8px; 
                  margin-top: 20px;  padding: 2px; }

h5		{ font-size: 12pt; border-top: black solid 1px;
		  border-right: black solid 1px;
		  background-color: #395168; color: white;
		  padding: 2px; margin-right: 10px;
		  margin-bottom: 0px; margin-top: 10px;  }

p.navi		{ white-space: nowrap;
		  border-right: black solid 1px;
		  padding: 1px;  margin-right: 10px;
		  margin-top: 0px; margin-bottom: 10px; }

p.copy		{ font-size: small; align=center; text-align=center }

pre		{ border: 1pt solid black; padding: 5pt }
pre		{ background-color: lightyellow }
pre		{ white-space: pre }
pre		{ font-family: monospace }
tt		{ font-size: 12pt; font-family: monospace }

form table th	{ text-align: left; vertical-align: top }

a:link		{ color: blue }
a:visited	{ color: darkblue }
a:active	{ color: red }
p.navi a:hover	{ background-color: lightyellow }

div.box		{ border: 1px solid black; margin-bottom: 20px }
div.box h4	{ border: none; margin: 0px; }
p.item		{ font-weight: bold;
		  margin-top: 0.2em; margin-bottom: 0.2em;
		  padding-left: 3px; padding-right: 3px }
p.desc		{ margin-top: 0.2em; margin-bottom: 0.7em;
		  padding-left: 16px; padding-right: 3px }