#top {
	background-color: #ffffff;
	margin-bottom: 5px;
	border-bottom: 1px solid #000000;
}

#logo {
	font-size: 12pt;
	line-height: 140%;
	font-weight: bold;
	padding: 0 5px;
	border: 0;
	margin: 0;
	width: 35px;
	background-color: #777777;
}

#topmenu, .box, .commandbar, #announcement-holder, #clock, input.button, a.gotop, .datepicker, .displayonly {
	display: none; 
}

input.box {
	display: inline;
}

#content {
	margin: 0px;
	padding: 0 !important;
	height: 0;
	/* margin-top: 10px; -- ongs: harms spacing for label printing. should be safe for other types of printing */
	border-left: 0px solid white !important;
}

.displayonly {
	display: none;
}

span.printonly {
	display: inline;
}

div.printonly, p.printonly, div.box.error {
	display: block;
}