@charset "iso-8859-1";

body{

	width:100%;

	font-family: Times, serif;

	font-size:12pt;

}

#menu, #tools, #banner, #footer, #accessibility, .breadcrumb, hr{

	display:none;

} 

pre{

	overflow:visible;

}