/* CSS Document */

/* html folder common styles */

#content dd ul {
    margin: 0;
	padding: 0;
	margin-left: 1.25em;
	margin-top: .25em;
}


#content dd li {
    margin: 0;
	padding: 0;
}

.menuoption {
	font-weight: bold;
}
	
.textcenter {
	text-align: center;
}

#content p.subsection {
	font-weight: bold;
	padding-bottom: .3em;
}

#content table.rules p {
	padding: .3em;
}

#content table.rules ul {
	margin-bottom: .2em;
}

/* local: standards */

.same {
	font-weight: bold;
	color: #009933;
}

.diff {
	font-weight: bold;
	color: #CC0000;
}