@CHARSET "UTF-8";

body{
	background-color: black;
	background-image: url('img/background.jsp');
	background-attachment: fixed;
	color: #202020;
	margin: 0px 10px 12px 12px;
	padding: 0px;
	/* font-family: Verdana, Tahoma, sans-serif; */
	line-height: 140%;
}
a:link{
	color: #4E75BB;
	text-decoration: underline;
}
a:visited{
	color: #4E75BB;
	text-decoration: underline;
}
a:hover{
	color: white;
	text-decoration: underline;
	background-color: #4E75BB;
}
.pagearea{
	background-color: white;
	border: solid 1px black;
	/* filter: alpha(opacity=92); */
}
.pagearea .main{
	padding: 5px;
}
h2.chapter{
	background-image: url('img/pin-title.png');
	background-repeat: no-repeat;
	background-position: center left;
	height: 32px;
	color: white;
	text-align: left;
	font-size: 32px;
	line-height: 32px;
	font-weight: normal;
	vertical-align: bottom;
	border-bottom: double 3px forestgreen;
	padding: 4px 5px 2px 55px;
	margin: 0px 16px 0px 0px;
	font-family: Verdana, Arial, Helvetica, sans-serif;
}
h3.section{
	background-color: #111513;
	text-align: left;
	font-size: large;
	font-weight: normal;
	color: white;
	border: solid 1px black;
	padding: 3px 5px 1px 5px;
	margin: 8px 0px 0px 0px;
	background-image: url("img/h3.png");
	background-repeat: repeat-y;
	background-position: bottom right;
	font-family: Verdana, Arial, Helvetica, sans-serif;
}
h4.subsection{
	color: #202020;
	background-color: white;
	text-align: left;
	font-size: 110%;
	font-weight: bold;
	padding: 4px 5px 2px 3px;
	margin: 6px 0px 0px 5px;
	width: 60%;
	overflow: visible;
	border-bottom: solid 1px #A07A4A;
	border-left: solid 8px #A07A4A;
	font-family: Verdana, Arial, Helvetica, sans-serif;
}
div.abstract{
	color: #FFDCAA;
	background-color: #AB8044;
	border: solid 2px #6E6449;
	width: 75%;
	margin: 8px auto 12px auto;
	padding: 3px;
	font-size: x-small;
	line-height: 140%;
}
div.abstract a:visited, div.abstract a:link{
	color: #FFDCAA;
}
div.content{
	padding: 5px 5px 5px 5px;
	margin: 0px 0px 0px 14px;
	background-color: white;
}
div.subscription{
	font-size:x-small;
	line-height: 130%;
	text-align: right;
}
div.breadcrumb{
	font-family: Verdana, Arial, sans-serif;
	font-size: 9px;
	margin: 3px 0px 3px 3px;
	color: #E0E0E0;
}
div.breadcrumb a:visited, div.breadcrumb a:link{
	color: white;
}
div.breadcrumb a:hover{
	background-color: white;
	color: black;
}
ul li{
	margin-bottom: 8px;
}
ol li{
	margin-bottom: 8px;
}
.annote{
	font-size: 0.6em;
	line-height: 120%;
	color: #606060;
}
.annote.mark{
	color: #A00000;
}
.footer{
	display: block;
	color: white;
	font-style: normal;
	font-size: 90%;
	border-top: double 3px forestgreen;
	text-align: right;
	font-size: 10px;
	font-family: Tahoma, Verdana, Helvetica, sans-serif;
	margin: 5px 16px 20px 0px;
	padding: 4px 0px 0px 0px;
}
.footer a:link, .footer a:visited{
	color: white;
}
.nobr{
	white-space: nowrap;
}
p{
	margin-top: 8px;
	margin-bottom: 8px;
}
dl{
	
}
dl dt{
	background-image: url("img/box.png");
	background-attachment: fixed;
	background-position: left;
	background-repeat: no-repeat;
	margin-top: 5px;
	padding-left: 16px;
	font-weight: bold;
	/* font-size: medium; */
	font-family: sans-serif;
}
dl dd{
	margin-left: 24px;
}
table {
	border-collapse: collapse;
	margin-bottom: 12px;
}
.sample {
	padding: 0px;
	margin: 12px 0px 12px 14px;
}
.sample pre{
	font-size: 12px;
	font-family: "ＭＳ ゴシック", monospace;
	line-height: 110%;
	margin: 0px;
	padding: 0px;
	white-space: pre-wrap;
	white-space: -moz-pre-wrap;
	white-space: -o-pre-wrap;
	white-space: -pre-wrap;
	word-wrap: break-word;
}
.sample.console{
	background-color: black;
	color: silver;
	border: solid 1px silver;
}
.sample.console .caption{
	background-color: silver;
	color: black;
	font-size: 10px;
	line-height: 100%;
	font-family: Verdana,Arial,sans-serif;
	display: inline;
	float: right;
	padding: 1px 8px 1px 8px;
	margin: 0px;
}
.sample.console .markerpen{
	background-color: indigo;
}
.sample.source{
	background-color: whitesmoke;
	color: #202020;
	border-top: solid 1px #E0E0E0;
	border-left: solid 1px #E0E0E0;
	border-bottom: solid 1px #606060;
	border-right: solid 1px #606060;
}
.sample.source .caption{
	background-color: #E0E0E0;
	color: black;
	font-size: 10px;
	line-height: 100%;
	font-family: Verdana,Arial,sans-serif;
	display: inline;
	float: right;
	padding: 1px 8px 1px 8px;
	margin: 0px;
}
.sample.source .markerpen{
	background-color: #FFFFA0;
}

code{
	font-family: "ＭＳ ゴシック", monospace;
}

.math{
	font-family: Times New Roman, Times, serif;
}

.small, .smaller{
	font-size: 0.75em;
	line-height: 140%;
}