body, td, th {
	font-family: Tahoma, sans-serif;
	font-size: 1.4ex;
}

pre {
	font-family: Courier New;
	font-size: 8pt;
}

a {
	color: red;
	text-decoration: none;
}

a:hover {
	text-decoration: underline;
}

.big {
	font-size: 12pt;
	font-weight: bold;
	font-family: Arial, sans-serif;
}

.tiny {
	font-size: 7pt;
}

/* .menu:hover {
	background-color: white;
} */

.menu {
	color: black;
}