A {	font-size: 12px;
	font-family: Verdana
}
H1 {	font-size: 26px;
	font-family: Verdana;
	font-weight:bold
}
H2 {	font-size: 18px;
	font-family: Verdana;
	font-weight:bold
}
.header	{
	font-size: 20px;
	font-family: Tahoma, Arial, Verdana, Helvetica, sans-serif;
	font-weight:bold;
}
.text	{
	font-size: 12px;
	font-family: Tahoma, Arial, Verdana, Helvetica, sans-serif;
    text-align: justify;
	padding: 10px;
}
.text2	{
	font-size: 12px;
	font-family: Tahoma, Arial, Verdana, Helvetica, sans-serif;
        text-align: justify;
	padding: 0px;
}
.dotted {
	border: 1px dotted #990000;
	text-align: justify;
	padding: 10px;
	background-color: #FBEFEF;
}
.big_news {
        border: 1px solid #990000;
        padding: 10px;
	background-color: #ffffcc;			
}
.news {
	font-family: Tahoma, Arial, Verdana, Helvetica, sans-serif;
        font-size: 12px;
        text-align: left;
	width:		100%;
}
.anews {
	font-family: Tahoma, Arial, Verdana, Helvetica, sans-serif;
        font-size: 12px;
}
.menu	{
	font-family: 	Tahoma, Arial, Verdana, Helvetica, sans-serif;
	font-size: 	14px;
	text-decoration:none;
	color:		#003300;
}
div.topmenu   {
	border: #990000 1px solid; 
	border-radius: 5px; 
	padding: 5px 5px 5px 5px; 
	margin: 0px 10px 0px 0px; 
	float: left;
	text-align: center;
	text-decoration: none;
	font-weight: bolder;
	vertical-align: middle;
}
div.topmenu:hover {
	background-color: #ffffcc;			
}
.publications {
	width: 		100%;
	font-size: 	11px;
	font-family: 	Tahoma;
	border-collapse:collapse;
	border: 	1px solid #000000;
	padding: 0px;
}
.small {
        font-size: 11px;
        font-family: Tahoma;
}
.teaching {
	width: 		100%;
	font-size: 	10px;
	font-family: 	Verdana;
	border: 	1px solid #000000;
	cellpadding:	10; 
	cellspacing:	10;
	padding: 	3px;
}
.userlist {
        width:		635px;
	font-size: 	12px;
	font-family: 	Tahoma, Arial, Verdana, Helvetica, sans-serif;
	test-align:	center;
	border-collapse:collapse;
	border: 	1px solid #000000;
}
.staff 	{
	font-size: 	11px;
	font-family: 	Tahoma;
}