@charset "utf-8";
/* CSS Document */

.text_maintitle {
	font-family: Georgia, "Times New Roman", Times, serif;
	font-size: 24px;
	font-weight: bold;
	color: #BD9A52;
	border-top-width: 0px;
	border-right-width: 0px;
	border-bottom-width: 2px;
	border-left-width: 0px;
	border-top-style: solid;
	border-right-style: solid;
	border-bottom-style: solid;
	border-left-style: solid;
	border-top-color: #BD9A52;
	border-right-color: #BD9A52;
	border-bottom-color: #BD9A52;
	border-left-color: #BD9A52;
}
.text_section {
	font-family: Geneva, Arial, Helvetica, sans-serif;
	font-size: 16px;
	font-weight: bold;
	color: #000000;
}
a.link_sourcecodefile {
	font-family: "Courier New", Courier, monospace;
	font-size: 12px;
	font-weight: bold;
	color: #9CAA9C;
	margin-left: 350px;
	text-decoration: none;
}
a.link_sourcecodefile:hover {
	font-family: "Courier New", Courier, monospace;
	font-size: 12px;
	font-weight: bold;
	color: #BDCFBD;
	margin-left: 350px;
	text-decoration: none;
}
a.link_backtomenu {
	font-family: "Courier New", Courier, monospace;
	font-size: 14px;
	font-weight: bold;
	color: #9CAA9C;
	text-decoration: none;
}
a.link_backtomenu:hover {
	font-family: "Courier New", Courier, monospace;
	font-size: 14px;
	font-weight: bold;
	color: #000000;
	text-decoration: underline overline;
}
.text_title {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 12px;
	font-weight: bold;
	color: #735e32;
	text-decoration: underline;
}
.text_content {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 12px;
	color: #000000;
}
.text_contentquote {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 12px;
	color: #666666;
	font-style: italic;
	font-weight: bold;
}
.text_sourcecode_normal {
	font-family: "Courier New", Courier, monospace;
	font-size: 12px;
	font-weight: bold;
	color: #2E2F2F;
}
.text_sourcecode_keyword {
	font-family: "Courier New", Courier, monospace;
	font-size: 12px;
	font-weight: bold;
	color: #0033FF;
}
a.link_sourcecode_function {
	font-family: "Courier New", Courier, monospace;
	font-size: 12px;
	font-weight: bold;
	color: #E5A028;
	text-decoration: none;
}
a.link_sourcecode_function:hover {
	font-family: "Courier New", Courier, monospace;
	font-size: 12px;
	font-weight: bold;
	color: #ff8921;
	text-decoration: none;
}
.text_contentbold {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 12px;
	color: #000000;
	font-weight: bold;
}
.text_contentitalic {
	font-family: Verdana, Arial, Helvetica, sans-serif;
	font-size: 12px;
	color: #000000;
	font-style: italic;
}