/* reference.css, a stylesheet for reference documentation */

div.legalnotice { font-size: 80%; }
BODY  {
	font: Tahoma;
	font-family : Tahoma;
}