/*
	oldbrowsers.css
	$Id: oldbrowsers.css,v 1.1 2004/09/11 13:06:19 chris Exp $
*/

h1 {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 130% ;
	font-weight: bold ;
	margin: -12px 0px ;
}
h2 {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 110% ;
	font-weight: bold ;
	margin: -12px 0px;
}
h3 {
	font-family: Arial, Helvetica, sans-serif;
	font-size: 100% ;
	font-weight: bold ;
	margin: -12px 0px;
}

ul.listoflinks {
	margin-left: -1em ;
	list-style-type: disc ;
}
ul.listoflinks li {
	font-size: 90% ;
	margin-top: 0 ;
	margin-bottom: 0 ;
}

/* side menu */
div.menutitle {
	font-family: Arial, Helvetica, sans-serif ;
	text-align: center ;
}
div.menubutton {
	text-align: center ;
}