body {
	font-family: Georgia, "DejaVu serif", "Bitstream Vera serif", serif;
}
#menu, #mp3player, #bottomlinks, #mainarea, #content {
	display: none;
}
#printinstrux {
	display: block !important;
}