/* The alternate (larger) font */
body	{
	font-size: 160%;
	background-image: url(images/menu-bg190.gif);
}
.menu	{
	width: 187px;
}
.main {
	margin:1em 1em 1em 200px;
}
a.l	{
	font-size:14pt;
	font-weight: bold;
}
a.m	{
	font-size:11pt;
}
a.s	{
	font-size:8pt;
}