html, body			{ height: 100%; margin: 0px 0px 0px 0px; font-size: 1em; }
body				{ background: white; font-family: Tahoma,Arial,Helvetica,Sans-Serif; }
a:link				{ color: #001A59; }
a:visited			{ color: #556699; }
a:hover				{ color: red; }
h1,h2,h3,h4,h5,h6	{ color: #012e5c; }
h2					{ font-size: 140%; font-weight: bold; }
h3					{ font-size: 120%; font-weight: bold; }
h4					{ font-size: 100%; font-weight: bold; }
h5					{ font-size: 90%; font-weight: bold; }
h6					{ font-size: 75%; font-weight: bold; }
th.lecture			{ text-align: left; vertical-align: top; color: #012e5c; font-weight: bold; white-space: nowrap; }
th.thesis			{ text-align: left; vertical-align: top; color: #012e5c; font-weight: bold; padding-right: 4mm; white-space: nowrap; }
.infBlue			{ color: #012e5c; }
code				{ border: 1px solid black; background-color: #EEEEEE; }
.tag				{ color: #005500; }
.code				{ font-family: Courier New, Courier; }