body
{
	background: #fdf3d7;
	margin: 0px;
	height: 100%;
	border-left: 20% solid #600;
}

h1
{
	color: darkred;
	margin-left: 0.5em;
}

.smallprint
{
	margin-top: 0;
	padding-top: 0;
	text-align: right;
	font-size: x-small;
	margin-right: 0.5em;
	font-family: verdana, sans-serif;

}

.nextpage
{
        margin-top: 0.5em;
        margin-right: 1em;
        margin-bottom: 0.5em;
	text-align: right;
}
				
hr
{
	size: 1px;
	margin: 0;
	padding: 0;
}

div.menu
{
	width: 190px;
	/* font-size: 12pt; */
	float:left;
	padding-left: 10px;
	padding-top: 10px;
	background: #900;
}

div.menupage
{
	/* padding-top: 1em; */
	padding-left: 10px;
	border-left: 200px solid #900;
	padding-bottom: 1em;
}	

div.coursedefine
{
	float: right;
	padding: 10px;
	margin-left: 1em;
	margin-right: 1em;
	border: 2px solid black;
}

div.banner
{
	background: #900;
	height: 36px;
}
a.banner
{
	color: #fdf3d7;
	font-family: helvetica, ariel, sans-serif;
	vertical-align: -2;
}
a.banner2
{
	color: #900;
	font-family: helvetica, ariel, sans-serif;
}
a.menu
{
	color: #fdf3d7;
	font-family: helvetica, ariel, sans-serif;
}
img.horlogo
{
	margin-left: 15px;
}

p.block
{
	margin-left: 1em;
	margin-right: 1em;
}

p.unit
{
	font-weight: bold;
	margin-left: 1em;
	margin-right: 1em;
}

p.menu
{
	color: #fdf3d7;
        font-family: helvetica, ariel, sans-serif;
}

p.menusel
{
	color: #fdf3d7;
        font-family: helvetica, ariel, sans-serif;
	font-weight: bold;

}

p.query
{
	margin-left: 1em;
	color: red;
}

p.nav
{
	text-align: right;
	color: #fdf3d7;
	margin-top: 0px;
	padding-top: 6px;
	padding-right: 10px;
}

p.nav2
{
	text-align: right;
	margin-top: 0px;
	padding-top: 6px;
	padding-right: 10px;
}

h2
{
	margin-left: 0.5em;
}

h3,h4,pre,li
{
	margin-left: 1em;
	margin-right: 1em;
}

#column
{
	background: #D77;
	width: 150px;
	float: right;
	margin-right: 18px;
	margin-left: 10px;
	margin-bottom: 10px;
	padding-left: 12px;
	padding-right: 12px;
	border: solid;
	border-width: 1px;
}

.configdata
{
        background: #ffffff;
	float: left;
	margin-right: 10px;
	margin-left: 18px;
	margin-bottom: 10px;
	margin-top: 0;
	padding: 12px;
	border: solid;
	border-width: 1px;
}
									
table.block
{
	margin-left: 1em;
	margin-right: 1em;
	text-align: center;
}

pre
{
        margin-left: 1em;
        margin-right: 1em;
}

pre.header
{
       font-family: serif;
}

pre.scriptbody
{
}

pre.example
{
       font-family: serif;
}
				
li.blank
{
	list-style-type: none;
}

th
{
	width: 25%;
}

td
{
	vertical-align: top;