.category1title {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 24px;
	font-weight: bold;
	font-style: italic;
}
.category2title {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 18px;
	font-weight: bold;
	font-style: italic;

}
.category3title {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 16px;
	font-weight: bold;
	font-style: italic;

}
.text {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12px;
}
.smalltitle {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12px;
	font-weight: bold;
}
.monospacedtext {
	font-family: "Courier New", Courier, mono;
	font-size: 12px;
}
.bug {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12px;
	color: #FF0000;

}
.textcentered {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 12px;
	text-align: center;

}
.textcenteredbig {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 16px;
	text-align: center;
	font-weight: bold;

}
.maintitle {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 24px;
	font-weight: bold;
	font-style: italic;
	text-align: center;

}
