.float {
	float:right;
	margin:12px;
}
/* use this to space past the end of a floating element */
.floatstop {
	clear:both;
}

/* yeah, all this use of !important sucks, but menu.css has to come after the normal style sheet, yet I need to defeat it's choices on this if I want to achieve a plain rendering (turning off menu.css entirely would work well too if I knew how to do that */

.content {
	margin:auto !important;
}

@media screen {
	.inset {
		width:auto !important;
		position:static  !important;
		display:block !important;
	}
}

@media print {
	.inset {
		display:none;
	}