body {
	color: black;
	background: white;
	margin: 0;
}

:link {
	 color: #00C;
	 background: transparent;
}

:visited {
	 color: #609;
	 background: transparent;
}

a:active {
	 color: #C00;
	 background: transparent;
}

h1, h2, h3, h4, h5, h6 {
	 text-align: left;
}

h1, h2 {
	 background-color: #f2f2f2;
	 margin-top: 0;
	 color: #000;
	 border-bottom: 1px solid #cccccc;
}

h1 {
	 padding: 1ex;
	 margin-bottom: 0;
}

h2 {
	 border-bottom: 1px solid #b2c0dd;
	 padding: 0.5ex;
}

h3 {
	 padding: 0;
	 margin: 0 0 0.75ex 0;
}

h2 {
	 margin: 3ex 0 1ex 0;
}

ul, ol {
	 margin: 0 1ex 2ex 1ex;
}

.content {
	 margin-left: 1.5em;
	 margin-right: 1.5em;
}

.label {
	 font-style: italic;
	 margin: 1ex 0 1ex 0;
	 }

.index {
	 margin-left: 1em;
}

.restriction {
	 margin: 0.5ex 0 2ex 4ex;
	 background-color: #eee;
	 padding: 0.25ex;
	 border: 1px solid #ddd;
}

.description {
	 margin-bottom: 2ex;
}

.blankdesc {
	 background-color: #eee;
	 margin: 0.5em;
	 border: 1px solid #ddd;
}

.blankterm {
	 padding-right: 0.5em;
}

.specterm {
	 margin-top: 1ex;
	 padding: 1ex;
	 background-color: #fafafa;
	 border: 1px solid #ddd;
}

.footer {
	margin-top: 3ex;
	padding: 1ex;
	border-top: solid #4a6aaa 1px;
	text-align: right;
}

.footer-text {
	 font-size: small;
	 color: #2a3c61;
	 vertical-align: top;
}

dl {
	 padding: 0;
	 margin: 0;
}

dt {
	 font-weight: bold ;
	 margin-top: 0.75ex;
}

hr {
	color: silver;
	background-color: silver;
	height: 1px;
	border: 0;
	margin-top: 1.5ex;
	margin-bottom: 1.5ex;
}

div.head {
	 margin-bottom: 1em;
}

div.head h1 {
	 margin-top: 2em;
	 clear: both;
}

div.head table {
	 margin-left: 2em;
	 margin-top: 2em;
}

th {
	 text-align: left;
}

td {
	 padding-right: 2ex;
}

.meta {
	background-color: #f9fafc;
	font-size: small;
	margin: 0 0 2ex 0;
	padding: 1ex 0 1ex 2ex;
	border-bottom: 1px solid #c4cfe5;
}

.metahead {
	 padding-right: 1ex;
}

pre {
	 margin-left: 2em;
	 color: #373;
}

code {
	 color: #373;
}

@media aural {
	dt {
		pause-before: 20%
	}
	pre {
		speak-punctuation: code
	}
}