/*
strong.keyword {
	color: Red;
}

p.example {
	margin-left: 1em;
	color: Navy;
	font-family: monospace;
	font-weight: bolder;
}

code {
	color: Navy;
}

code.example {
	font-weight: bolder;
}

code.operator {
	font-weight: bolder;
}
*/

h2 {
	display: none;
}

dt {
	margin-top: 1em;
}

dd {
	margin-left: 0;
}

dd.uri {
	color: #090;
}

strong {
	color: inherit;
	border-bottom-width: 0;
}

* html strong {
	color: #333;
}