.testrefs {
	font-size: small;
	margin-left: 0.2em;
	margin-right: 0.2em;

	font-weight: normal;
	font-style: normal;
	white-space: normal;
	font-family: sans-serif;
}

.kw-must, .kw-required {
	background: #fda;
}

.kw-should {
	background: #ffa;
}

.kw-none {
	background: #dfa;
}


pre.idl .testrefs :link {
	color: #00c;
}

pre.idl .testrefs :visited {
	color: #609;
}

.testrefs a:hover {
	background: transparent;
	text-decoration: none;
}

.testrefs:before {
	content: '[';
}

.testrefs:after {
	content: ']';
}

.testrefs dfn:after {
	font-weight: normal;
	content: ':';
}

.testrefs dfn {
	display: none;
}