body {
	font-family : Tahoma, Arial, Verdana, "Trebuchet MS", Sans-Serif, Georgia, Courier, "Times New Roman", Serif;
	margin : 0;
	padding : 0;
}
td {
	font-size : 0px;
}
a.menu {
	font-weight : bold;
	font-family : Tahoma, Arial, Verdana, "Trebuchet MS", Sans-Serif, Georgia, Courier, "Times New Roman", Serif;
	font-size : 8pt;
	color : #336600;
	text-decoration : underline;
}
a.menu:hover {
	color : #f17b1b;
	text-decoration : none;
}

pre
{
	font-family:arial;
	font-size: 16px;
}

pre.example
{
	font-family:Courier;
	font-weight: bold;
	font-size: 15px;
}


pre.shell
{
	font-family:monospace;
	font-size: 15px;
}

pict
{
	font-family:arial;
	font-size: 20px;
}
exam{
	font-family:Courier;
	font-weight: bold;
	font-size: 15px;
}
code{
	font-family:Courier;
	font-weight: bold;
	font-size: 15px;
}
comment{
	font-family:Courier;
	font-size: 15px;
}
shell
{
	font-family:monospace;
	font-size: 15px;
}