/* page styles - not relevant to the test cases */

h3 {
	margin: 2.5em 0 0.6em;
	background-color: lime;
	clear: left;
}
li ol li {
	list-style-type: lower-alpha;
}
li li ol li {
	list-style-type: lower-roman;
}
.bad-f {
	background-color: #FF7070;
}
.bad-n {
	background-color: #FF6000;
}
.bad-nf {
	background-color: red;
}
.bad-l {
	background-color: #FFD350;
}
.bad-nl {
	background-color: #FF3030;
}
.bad-lf {
	background-color: #FFA670;
}
.other-bad {
	background-color: cyan;
}
.doubly-bad {
	background-color: magenta;
}
.u {
	background-color: #aaa;
}
span.role {
	font-style: italic;
	color: #aaa;
}
p {
	clear: left;
}



/* styles relevant to the test cases */

.container {
	position: relative;
	top: 0;
	left: 0;
	margin: 6px;
}
.parent {
	background: transparent url(diagonal.gif) repeat scroll top left;
	border: 2px solid #999;
	padding: 6px;
}
.gp {
	background-image: url(transparent.gif);
	border: 2px dashed #444;
	padding: 6px;
}
.hasLayout {
	zoom: 1;
}
.inline {
	display: inline;
}
.relpos {
	position: relative;
}
.abspos {
	position: absolute;
}
.small {
	height: 6px;
	width: 32px;
}
.located {
	top: 0;
	left: 0;
}
.left-located {
	left: 0;
}
.top-located {
	top: 0;
}
.left-located2 {
	left: 30px;
}
.neg-left-located {
	left: -10px;
}
.abscol {
	background-color: #fc3;
}
.float {
	margin-top: 20px;
	margin-bottom: 0px;
	float: left;
}
.floatcol {
	background-color: #bbf;
}
.normal {
	margin: 10px;
	border: 2px solid green;
	padding: 5px;
}
.fullwidth {
	width: 300px;
}
.clear {
	clear: both;
}
.clearcol {
	background-color: #f33;
}