#userbox {
	display: none;
}
#pageheader {
	display: none;
}
#logo_icon { /* for companies with special logo icons */
	display: none;
}
#decontent ins {
	color: green;
}
#decontent del {
	color: red;
}
a.rcbutton
{
	display: none;
}

/* Fixes for printing Focus divs */
.focusdiv {
	left: 0px !important;
}

#overlay {
	background-color: white !important;
	opacity: 1.0 !important;
	height: 100% !important;
}