@charset "utf-8";
/*
This compliments the styles in common.css, not replaces them. The style defined
for body text and headings and ruled lines still apply from the main stylesheet,
*/
.documentation {
	font-size: 16px;
	line-height: 24px;
}
.documentation img {
	border-radius: 10px;
}
.documentation table {
	font-size: 12px;
	line-height: 18px;
}
.documentation h1 {
	font-size: 32px;
	line-height: 40px;
	border-bottom: 2px;
	border-bottom-style: solid;
	display: block;
}
.documentation h2 {
	font-size: 24px;
	line-height: 30px;
}
.documentation h3 {
	font-size: 20px;
	line-height: 25px;
}
.documentation h4 {
	font-size: 24px;
	line-height: 30px;
}
.documentation h5 {
	font-size: 20px;
	line-height: 25px;
}
.diagram {
	display: block;
	text-align: center;
	border: none;
}
.code {
	font-family: "Courier New", Courier, monospace;
	tab-size: 4;
	-moz-tab-size: 4;
	white-space: pre-wrap;
	margin-left: 20px;
	line-height: 20px;
	font-weight: 600;
	border: solid 1px #999;
	background-color: #EEE;
	padding: 10px;
}
.inline_code {
	font-family: "Courier New", Courier, monospace;
}
.generic {
	color: #5D5D5D;
}
.php {
	color: #5B26FB;
}
.javascript {
	color: #FA2E66;
}
.html {
	color: #697113;
}
.css {
	color: #1B7D02;
}
.shell {
	color: #028683;
}
.user_input {
	color: #81642E;
	font-weight: bold;	
}
.new_text {
	color: #0012F0;
}
.old_text {
	color: #B30000;
	text-decoration: line-through;
}
.figure {
	font-size: 12px;
	margin-bottom: 5px;
}
.caption {
	font-size: 14px;
	line-height: 18px;
	margin-top: 5px;
	margin-left: 100px;
	margin-right: 100px;
	border-top: 1px;
	border-top-style: solid;
	border-top-color: #999;
	padding-top: 3px;
}
.quote {
	font-size: 22px;
	font-style: italic;
	line-height: 32px;
	margin-top: 20px;
	margin-bottom: 0;
	margin-left: 60px;
	margin-right: 60px;
	padding-left: 30px;
	padding-top: 10px;
	background-image: url('/imgs/quote.png');
	background-size: 40px 40px;
	background-repeat: no-repeat;
	background-position 0px 0px;
}
.quote_source {
	font-size: 14px;
	text-align: right;
	margin-right: 100px;
	font-style: italic;
}
.quote_source:before {
	content: "- ";
}
.footnote_marker, .bibliography_marker {
	font-size: 11px;
	font-style: normal;
	font-weight: normal;
	text-decoration: none;
	vertical-align: super;
}
.footnote_marker:before {
	content: "(";
	
}
.footnote_marker:after {
	content: ")";
}
.footnote {
	color: #7F7E8A;
	font-size: 14px;
	line-height: 19px;
}
.bibliography_marker:before {
	content: "[";
}
.bibliography_marker:after {
	content: "]";
}
.bibliography {
	color: #7F7E8A;
	font-size: 14px;
	line-height: 19px;
	display: inline-block;
	width: 46%;
	padding: 4px;
	vertical-align: top;
}
.highlighter {
	background-color: #B3F980;
}
td.red {
	background-color: #FF8080;
}
td.orange {
	background-color: #FFA466;
}
td.yellow {
	background-color: #FFFF80;
}
td.green {
	background-color: #A4F997;
}