.calendartitle {
	FONT-WEIGHT: bold; 
	FONT-SIZE: 20px;
}
.datetitle {
	FONT-SIZE: 20px; 
}
.eventtitlebig {
	FONT-WEIGHT: bold; 
	FONT-SIZE: 24px; 
}
.eventtimebig {
	FONT-SIZE: 18px; 
}

/*.today {
	BACKGROUND-COLOR: ;
}
.future {
	BACKGROUND-COLOR: ;
}
.eventtime {
	FONT-SIZE: x-small;
}
.eventcategory {
	FONT-SIZE: x-small;
}
.tabactive {
	COLOR: ; 
	BACKGROUND-COLOR: ;
}
.tabinactive A {
	COLOR: ;
}
.tabinactive A:visited {
	COLOR: ;
}
.tabinactive A:hover {
	COLOR: ;
}
.tabinactive {
	BACKGROUND-COLOR: ;
}
.announcement {
	FONT-SIZE: medium;
}*/
.feedbackpos {
	FONT-WEIGHT: bold; 
	FONT-SIZE: small; 
	COLOR: #008800;
}
.feedbackneg {
	FONT-WEIGHT: bold; 
	FONT-SIZE: small; 
	COLOR: #CC0000;
}
.example {
  color: #999999;
}
code, pre {
   font-size: 10pt;
}