html {
	color: rgb(35,60,25);
	background: rgb(255,243,230);
}
body {
	width: 48em;
}
/* -------------------------------- heading -------------------------------- */
h1, h2, h3 {
	font-family: "Osaka", sans-serif;
	font-weight: bold;
	font-variant: normal;
	font-style: normal;
	clear: both;
}
h1 {
	text-align: center;
	font-size: 200%;
	margin-top: 1em;
	margin-bottom: 2em;
}
h2 {
	text-align: center;
	font-size: 185%;
	color: rgb(255,243,230);
	background: rgb(60,30,25);
}
h3 {
	text-align: left;
	font-size: 150%;
	margin-bottom: 0.0em;
}
ul {
	margin-top: 0.0em;
}
h4 {
	text-align: left;
	font-size: 100%;
	margin-left: 1em;
}
h5 {
	text-align: left;
	font-size: 90%;
	font-weight: normal;
	font-variant: normal;
	font-style: normal;
	/* text-decoration: underline; */
	margin-left: 1.8em;
}
hr {
	border-bottom-color: rgb(234,234,206);
	border-left-color: rgb(177,177,49);
	color: rgb(127, 127, 127);
	background: rgb(128,128,255);
}
li {
	margin-top: 0.55em;
	line-height: 1.6em;
}
div.sample {
	text-align: center;
}
div.screen {
	text-align: center;
}
pre {
	color: rgb(35,60,25);
	background: rgb(250,240,200);
	margin-right: 1.5em;
	margin-left: 2.5em;
}
kbd {
	font-weight: bold;
}
pre em.warning {
	color: blue;
	font-weight: normal;
	font-variant: normal;
	font-style: normal;
}

pre em.arbitary {
	color: red;
	font-weight: normal;
	font-variant: normal;
	font-style: italic;
}

span.star {
	color: red;
	font-size: 70%;
}

span.contents {
	color: rgb(185,60,25);
}