@CHARSET "UTF-8";

h4.exception {
	background-color: red;
	cursor: pointer;
	width: 804px;
	margin: 0;
	padding: 2px 4px;
}

pre.exception {
	background-color: darkgrey;
	width: 800px;
	margin: 0px;
	padding: 4px;
	border: 2px dashed red;
}