/*
 *	This file contains styles which are specific to the Coding Standards document.
 */

ol.doc_outline {
	list-style-type: none;
}

pre.source_code {
	padding: 0px;
	margin-left: 20px;
	margin-bottom: 1em;
	background-color: White;
	font-family: "Consolas", "Liberation Mono", "Bitstream Vera Sans Mono", "Courier New", Courier, monospace;
	background-color: White;
	font-size: 9pt;
}

span.fs_path {
	font-family: "Consolas", "Liberation Mono", "Bitstream Vera Sans Mono", "Courier New", Courier, monospace;
	font-size: 9pt;
}