div.navbar {
	text-align: center;
}

div.contents {
	background-color: rgb(204,204,255);
	border: none;
	padding: 0.5em;
	margin-right: 5%;
}

li.tocline {
	list-style: none;
}

div.dtdfragment {
	border: solid #CCCC99;
	border-width: 2px;
	margin-left: 0;
	margin-right: 5%;
	margin-top: 1em;
}

div.dtdfragment div.header {
	background-color: #F0F0DF;
	border-color: #CCCC99;
	border-style: none none solid;
	border-width: 2px;
}

div.dtdfragment p, div.dtdfragment pre {
	padding: 0.5em;
}

div.example {
	border: solid #99CC99;
	border-width: 2px;
	margin-left: 0;
	margin-right: 5%;
	margin-top: 1em;
}

div.example div.header {
	background-color: #F0FFF0;
	border-color: #99CC99;
	border-style: none none solid;
	border-width: 2px;
}

div.example p, div.example pre {
	padding: 0.5em;
}

span.note {
	background-color: #FFFFCC;
	font-style: italic;
}

span.term {
	color: rgb(0, 0, 192);
	font-style: italic;
}

code {
	color: green;
	font-family: monospace;
	font-weight: bold;
}

img {
	color: white;
	border: none;
}

.good {
	border: solid green;
	border-width: 2px;
	margin-left: 0;
	margin-right: 5%;
	color: green;
	font-weight: bold;
}

.bad {
	border: solid red;
	border-width: 2px;
	margin-left: 0;
	margin-right: 5%;
	color: rgb(192, 101, 101);
}