body{font-family:arial;font-size:11px;text-align:center;}
.bodycopy{
	margin-left:auto;
	margin-right:auto;
	margin-top:70px;
	width:500px;
	padding:20px;
	border:1px dotted #000;
	text-align:left;
}
h1{}
h2{font-size:22px;}
h3{margin-left:20px;font-size:18px;}
h4{margin-left:40px;font-size:14px;}
.number{color:#ccc;font-size:12px;margin-right:5px;}
.externalresource{
	margin:20px;
	background:#eee;
	padding:15px;
}
fieldset{margin:10px;}
fieldset .dp-highlighter{padding:2px;margin:0;}
fieldset label{position:relative;top:-8px;background:#eee;padding:3px;font-weight:bold;color:#aaa;}
textarea{margin:0;}

.example{border-left:2px solid gray;padding-left:10px;}
.example fieldset{margin-left:20px;}

.testcase{background:#eee;padding:0;padding-bottom:10px;}
.testcase p{margin:10px;}

.axiom{text-align:center;background:#aaa;color:#fff;font-weight:bold;margin-bottom:5px;}
.examplelabel{
	background:gray;
	color:white;
	padding:4px;
	position:relative;
	left:-10px;
	font-weight:bold;
}

.commentbox{
	margin-left:auto;
	margin-right:auto;

	margin-top:20px;
	width:500px; 
	padding:20px;
	border:1px dotted #000;
	text-align:left;
}