body {
	font-size: 12px;
}
span.reserved {
	background-color: rgb(255, 255, 180);
}
span.bad {
	background-color: rgb(180, 255, 255);
}
span.ctl {
	background-color: rgb(255, 180, 255);
}
span.tmpasc {
	font-family: さざなみゴシック, Courier New, monospace;
}
pre.code {
        margin-left: 0.8em;
        font-size: 120%;
}
pre.mscode {
        margin-left: 0.8em;
	font-family: ＭＳ ゴシック, Courier New, monospace;
        font-size: 120%;
}
p.note {
	text-indent: 0pt;
	text-align: left;
	margin-left: 25%;
	font-size: 85%;
}
div.body {
	width: 40em;
	margin-left: auto;
	margin-right: auto;
}
h1 {
	font-size: 250%;
	text-align: center;
	margin-bottom: 0pt;
	color: rgb(30, 100, 30);
}
h2 {
	color: rgb(70, 100, 70);
	background-color: rgb(235, 255, 235);
	border-width: 0pt 1.0pt 1.0pt 0.0pt;
	border-color: rgb(80, 150, 80);
	border-style: solid;
	padding-left: 0.35em;
	font-size: 145%;
}
h3 {
	margin-top: 1.5em;
	margin-bottom: 0.3em;
	border-width: 0px 0px 0px 12px;
	border-color: rgb(145, 200, 145);
	border-style: solid;
	padding-left: 0.45em;
	font-size: 128%;
	clear: both;
}
p {
	text-indent: 1em;
	text-align: justify;
	line-height: 1.8em;
	margin-top: 0.5em;
	margin-bottom: 0.5em;
}
p.CONT, p.cont {
	text-indent: 0em;
}
pre {
	margin-left: 2.0em;
	margin-top: 1.1em;
	margin-bottom: 1.1em;

}
table {
	/*table-layout: fixed;*/
	border-collapse: collapse;
	empty-cells: show;
	border-style: solid;
	border-width: 2px 1px 1px 2px;
	padding: 0px;
	margin-left: auto;
	margin-right: auto;
	margin-bottom: 1.5em;
	font-size: 100%;
}

th, td {
	border-style: solid;
	border-width: 0px 1px 1px 0px;
	margin: 0px;
	padding: 3px 4px 3px 4px;
}
th {
	font-size: 80%;
	text-align: center;
}
dt {
        font-size: 125%;
        font-weight: bold;
        color: rgb(100, 10, 40);
        margin-bottom: 0.2em;
}
dd {
        margin-bottom: 0.5em;
        line-height: 1.40em;
}
div.RCSID {
	clear: both;
	text-align: right;
	font-weight: normal;
	font-size: 0.75em;
	line-height: 16pt;
	font-family: "Osaka", sans-serif;
	font-variant: normal;
	font-style: italic;
	margin-top: 0.8em;
	margin-bottom: 0em;
	padding-top: 0em;
	padding-bottom: 0em;
}
div.RCSMSG {
	margin-top: 0em;
	margin-bottom: 0em;
	padding-top: 0em;
	padding-bottom: 0em;
	line-height: 0.75em;
}
div.RETURN {
        clear: both;
        text-align: center;
        margin-top: 2.4em;
        margin-bottom: 0.0em;
}
hr {
	/* page-break-before: always; */
	border-style: solid;
	border-top-width: 0;
	border-left-width: 1px;
	border-right-width: 0;
	border-bottom-width: 1px;
	height: 1px;
	padding: 0;
	border-color: silver;
}