<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">body{
	margin: 0;
	padding: 0;
	font-family: Verdana, Helvetica, Arial, sans-serif;
	font-size: 12px;
	color: #000;
	background-color: #fff;
}

a:link{
  	color: #036;
}

a:visited{
  	color: #066;
}

a:hover, a:active{
	color: #ff3333;
}

div#banner{
  	margin: 0;
	padding: 8px 0px 8px 10px;
	color: #e1dcd4;
	background-color: #035ad3;
	border-bottom: 1px solid #000;
	vertical-align: middle;
	text-align: left;
	text-indent: 124px;
}

@media screen and (max-width: 450px)
{
    div#banner{
       text-indent: 10px;
   }

}


div#banner h1{
	margin: 0;
	padding: 5px 0px 5px 8px;
	font-weight: normal;
	font-size: 28px;	
}

div#navigation{
	float: left;
	width: 150px;
	padding-top: 24px;
}
div#navigation ul{
	list-style-type: none;
	padding: 0;
	margin: 0;
}
div#navigation ul li{
  	margin-top: 4px;
  	/* margin-top: 3px;
  	margin-bottom: 3px;
  	border-top: .25px solid #99ccff;
  	border-bottom: .25px solid #99ccff; */
}
div#navigation ul li a{
	display: block;
	width: 135px;
	padding: 3px 5px 3px 10px;
	text-decoration: none;
	color: #000;
}
div#navigation ul li a:hover{
	color: #fff;
	background-color: #ccc;
}

div#content{
	margin-left: 190px;
	margin-right: 200px;
	line-height: 150%;
	/* padding: 0 10px 10px 10px; */
	padding: 0 10px 0 0;
}

@media screen and (max-width: 490px)
{
  div#navigation{
   padding-bottom:30px;
 }

   div#content{
   padding-top:220px;
   margin-left: 10px;
   margin-right: 10px;
  }

}


div#content h1{
	font-size: 2em;
	color: #036;
	margin: 0;
	padding: 0;
	/* padding-top: 1em; */
	font-weight: normal;
}
div#content h2{
	font-size: 2em;
	color: #036;
	margin: 0;
	padding-top: 1em;
	font-weight: normal;
}
div#content h3{
	font-size: 1.2em;
	color: #036;
	margin: 0;
	padding-top: 0.4em;
	font-weight: bold;
}
div#content a.special{
  	text-decoration: none;
}

div#content *.glossaryterm{
  	color: #036;
  	font-weight: bold;
}
div#content p.right{
  	text-align: right;
}

div#content a.mini{
  	font-size: 10px;
}
div#content table{
  table-layout: auto;
  border: 4px solid black;
  border-collapse: separate;
  border-spacing: 3px;
}
div#content table.special{
  table-layout: auto;
  border: none;
}
div#content th{
  width: auto;
  background-color: #99ccff;
  padding: 5px;
  font-weight: bold;
}
/* This isn't working! */
div#content tr{
  border: 1px solid black;
}
div#content td{
  background-color: #e1dcd4;
  padding: 5px;
}
div#content td.special{
  border: 0.5px solid white;
  background-color: white;
  padding: 5px;
}

div#catalogue{
  	padding-left: 10px;
	padding-right: 10px;
}

div#footer{
  clear: both;
  padding: .5em 1em;
  border-top: 1px solid #999;
  text-align: right;
}
div#footer ul{
	padding: 0;
	margin: 0;
	list-style-type: none;
}
div#footer li{
	display: inline;
	margin-right: 1em;
}

div#tabnav{
	padding: 10px 0 0 0;
	text-align: right;
}
div#tabnav ul {
	font: bold 11px Verdana, Helvetica, Arial, sans-serif;
	list-style-type: none;
	padding-bottom: 24px;
	border-bottom: 1px solid #cccccc;
	margin: 0;
}
div#tabnav ul li {
	float: left;
	height: 21px;
	background-color: #fff;
	margin: 2px 2px 0px 2px;
	border: 1px solid #cccccc;
	-moz-border-radius: 7px 7px 0 0;
}
div#tabnav ul li.current{
	border-bottom: 1px solid #fff;
	border-top: 1px solid #ffcc00;
	border-left: 1px solid #ffcc00;
	border-right: 1px solid #ffcc00;
}
div#tabnav a {
	float: left;
	display: block;
	color: #666;
	text-decoration: none;
	padding: 4px;
}
div#tabnav a:hover {
	color: #ff3333;
}
div#tabnav a.current{
  	float: left;
	display: block;
	color: #035ad3;
	text-decoration: none;
	padding: 4px;
}
div#tabnav a.current:hover{
  	background: #fff;
	color: #035ad3;
}

div.cleardiv{
	clear: both;
	height: 1em;
}
</pre></body></html>