@charset "iso-8859-1";
@import url(_elements.css);

body{
 width:100%;
 font-family: Times, serif;
 font-size:11pt;
 color:#000;
}
#menu, #tools, #banner, #footer, #accessibility, .breadcrumb, hr{
 display:none;
} 
pre{
 overflow:visible;
}