body, p, table, ul, ol{
    font-family: verdana, arial, helvetica, sans-serif; 
    font-size: 95%; 
    color: #000000; 
    background-color: #FFFFF;
}

.bigfont{
    font-size: 125%; 
}

pre{
    font-size: 110%;
}

h1{
    font-family: Times, serif; 
    border-bottom-width:1px;
    border-bottom-style:solid;
    border-bottom-color:#e51212;
}

a.noDecor{ 
    text-decoration: none;
    color: #000000; 
}

a.navButton{ 
    text-decoration: none;
    color: #000000; 
    background-color: white;
	display:block; 
}

a.navButton:hover{ 
    text-decoration: none;
    color: #000000; 
    background-color: white;
}

a:hover{
    color: #FFFFFF;
    background-color: darkblue;
}

a.noHover:hover{
    color: #000000;
    background-color: white;
}

.navElement{
    font-size: 100%;
}

.navSubElement{
    font-size: 90%;
}

.boxBorder2{
    background-color:#efefef;
}

.boxBorder{
    background-color:#FFFFFF;
}

.invisibleBox{
    background-color:#FFFFFF;
}

.boxShadow{
    background-color:#000000;
}

.darkred{
    color:#8c1319;
}

.redleftline{
	border-left-width:1px;
 	border-left-style:solid;
 	border-left-color:#e51212;
}

.redrightline{
	border-right-width:1px;
 	border-right-style:solid;
 	border-right-color:#e51212;
}

.redbottomline{
	border-bottom-width:1px;
 	border-bottom-style:solid;
 	border-bottom-color:#e51212;
}

.redbottomtopline{
	border-bottom-width:1px;
 	border-bottom-style:solid;
 	border-bottom-color:#e51212;
	border-top-width:1px;
 	border-top-style:solid;
 	border-top-color:#e51212;
}

.redtopline{
	border-top-width:1px;
 	border-top-style:solid;
 	border-top-color:#e51212;
}

.deselected{
	color:grey;
}

.cool{
font-family:sans-serif;
font-style:italic;
font-size:450%
font-weight:bolder;
}



.timetable{ 
  text-align: left;
}

.timetableHeader th{
  border-bottom: 1px;
  border-top: 0px;
  border-right: 0px;
  border-left: 0px;
  border-color: red;
  border-style: solid;
}

.timetableTime{ 
  text-align: left;
  vertical-align: top;
  font-weight: bold;
}