@charset "utf-8";
/* CSS Document */

body {
	width: auto;
/* nothing to see yet */
}
.width75 {
	width: 75%;
	border-top-style: solid;
	border-right-style: solid;
	border-bottom-style: solid;
	border-left-style: solid;
	border-top-color: #F9F;
	border-right-color: #F9F;
	border-bottom-color: #F9F;
	border-left-color: #F9F;
	margin: 5px;
	padding: 5px;
}
.highlightbox {
	width: 75%;
	border-top-style: solid;
	border-right-style: solid;
	border-bottom-style: solid;
	border-left-style: solid;
	border-top-color: #F00;
	border-right-color: #F00;
	border-bottom-color: #F00;
	border-left-color: #F00;
	margin: 5px;
	padding: 5px;
}