h1 {
	font-size: 190%;
	font-family: Arial, helvetica, swiss, sans-serif;
	font-weight: bold;
	text-align: center;
	color: black;
	margin-top: .10em;
	margin-bottom: 0em;
}


h2 {
	font-size: 125%;
	font-family: sans-serif;
	color: #be9630;
	margin-top: .5em;
	margin-bottom: 0em;
}

pre { font-family: monospace; }

p	{
	margin-left: 1%;
	margin-right: 5%;
	color: black;
	margin-top: 0;
	margin-bottom: .5em;
}

body	{
	background: url(/images/pat.gif) white;
	margin-left: 0%;
	margin-right: 5%;
	color: black;
	margin-top: 0;
	margin-bottom: .5em;
}

div.box {
	border: none;
	width: 95%;
	margin-top: 1em;
	background: rgb(204,204,255);
	padding: 1em;
}

dt {
	margin-top: .5em;
}


#header {
        position: fixed;
        width: 620;
        height: 15%;
        top: 0;
        right: 620;
        bottom: auto;
        left: 0;
      }