@charset "shift_jis";
body {
	background-color:white;
	margin: 2em}
 h1 {
	text-align:center; font-size:130%;
	padding:0.3em;
	color:white; background-color:#D2504F;}
/*	 DIC156 */
 h2 {
	font-size: 100%;
	color: #D6774B;
	margin-top: 3em;
   border-width:0px 0px 0px 8px;
   border-style:solid;}
 h3 {
	font-size: 80%;}
 p {
	font-size: 90%;}
 p.note {
	border:thin gray solid;
	margin:1em 1em 1em 1em;
	padding:0.5em;
	font-size: small}
 pre{
	margin:0.5em 0.5em 0.5em 0.5em;
	background-color:#D5D5D5}
 li {
	font-size: 90%;}
 td {
	font-size: 80%;}
 th {
	font-size: 85%;}
 th.false {
	font-size: 85%;
	color: blue;}
 th.true {
	font-size: 85%;
	color: red;}
 b.true {
	color: red;}
 b.false {
	color: blue;}	