#menu, .noprint {
	display: none;
	width: 0;
	height: 0;
}

a#skipnav + div.text {
	margin-left: 0 !important;
	width: 700px !important;
}

pre {
    color:       #000000;
}