/* CSS layout */
body {
	border: thick #FFFFFF outset;
	margin: auto;
	padding: 0;
	background-image: url('background.png');
	width: 1024px;
	right: inherit;
	margin-top: 10px;
}

#masthead {
}

#top_nav {
	height: 150px;
}

#container {
	min-width: 600px;
	width: 800px;
}

#left_col {
	width: 200px;
	float: left;
}
/* the outter frame */
#page_content {
	margin-left: 205px;
	border: thin #C0C0C0 inset;
	background: white;
	width: 770px;
	padding-left: 10px;
	margin-bottom: 10px;
	padding-top: 10px;
}
/* the text frame */
#page_text {
	margin-left: 205px;
	border: thin #C0C0C0 inset;
	background: white;
	width: 770px;
	padding-left: 10px;
}

#footer {
	clear: both;
	font-family: Calibri;
	text-align: center;
	font-size: small;
}
h1{
	font: 100% Verdana;
	color: #3366CC;
	font-size: x-large;
}
h2{
	font: large Verdana;
	color: #3366CC;
	padding-top: 20px;
}
h3{
	font: 100% Verdana;
	color: #3366CC;
	padding-top: 20px;
	font-size: small;
}

h4{
	font: small Verdana;
	padding-right: 10px;
	font-weight: bolder;
}

p{
	font: small Verdana;
	padding-right: 10px;
}
ul{
	font: small Verdana;
}
li{
	font: small Verdana;
	padding-bottom: 5px;
}

/* table format hinweis */
td.hinweis
{
	background-color: #E0E0E0
}

/* table format for program output */
table.dos
{
	border: #99CCFF inset;
	background-color: #000000;
	color: #FFFFFF;
	margin-left: 5px;
	width: 85%;
}
/* 2-spaltige Tabelle für Auflistungen */
table.twocols
{
	border: medium #C0C0C0 outset;
	font-family: "Courier New", Courier, Monospace;
	font-size: 14px;
	background-color: #FFFFFF;
	margin-left: 20px;
	width: auto;
	padding-left: 10px;
}
table.twocols td
{
		vertical-align: top;
		padding-left:5px
}
/* paragraph format for program output */
p.dos
{
	font-family: "Courier New", Courier, Monospace;
	font-size: 15px;
	font-weight: bold;
	padding-left: 5px;
}
/* table format for program listing */
table.program
{
	border: #99CCFF inset;
	background-color: #FFFFFF;
	margin-left: 5px;
	width: 85%;
}

/* image formattion for course symbols */
img.icon
{
	float: left;
	padding-right: 5px;
	padding-top: 5px;
}
.program {
	font-family: "Courier New", Courier, Monospace;
	font-size: 14px;
	line-height: 15px;
}
.comment {
	color: blue;
	font-weight: bold;
}
.mark {
	color: red;
	font-weight: bold;
}

td.list
{
	border: thin #C0C0C0 solid;
}

p.statement
{
	font-family: "Courier New", Courier, Monospace;
	padding-left: 40px;
	font-size: 14px;
	line-height: 15px;
}
table.nav
{
	background-color: #D6DFF7;
	width: 100%;
}