@charset "euc-jp";

body {
	font-family: monospace;
	background-color: #FFFFDE;
	padding: 0.5em 1em 0em 0em;
	line-height: 1.5em;
	text-autospace: ideograph-alpha ideograph-numeric ideograph-parenthesis;
}

div.content {
	margin: 0em 1em 0em;
	padding: 0em 1em 0em;
}

div.exercise {
	margin: 1em 0em 2em;
	padding: 0.2em 0.5em 0.5em;
	background-color: #aaCCdd;
}

div.pakapaka {
	margin: 0em 0em 2em;
	padding: 0em 1em;
	background-color: #ffffff;
	border-color: #c0c0c0;
	border-style: solid;
	border-width: 1px;
	line-height: 1.5em;
}

pre.code {
	margin: 1.5em 1em 2em;
	padding: 0.5em;
	background-color: #ffcc99;
	border-color: #ddaa77;
	border-style: solid;
	border-width: 2px;
	line-height: 1.1em;
	text-autospace: none;
}

pre.result, pre.command-linux {
	margin: 1em 1em 1em;
	padding: 0.5em;
	background-color: #66ffff;
	border-color: #48d1cc;
	border-style: solid;
	border-width: 2px;
	line-height: 1.1em;
	text-autospace: none;
	overflow: scroll
}

pre.pcode, pre.command-emacs {
	margin: 2em 1em 2em;
	padding: 0.5em;
	background-color: #aaddaa;
	border-color: #77aa77;
	border-style: solid;
	border-width: 2px;
	line-height: 1.1em;
	text-autospace: none;
}

pre.other, pre.html {
	margin: 2em 1em 2em;
	padding: 0.5em;
	background-color: #ffb6c1;
	border-color: #cc9999;
	border-style: solid;
	border-width: 2px;
	line-height: 1.1em;
	text-autospace: none;
}

ol.important {
	margin: 1em 1em 1em;
	background-color: #ffffbb;
	border-color: #dddd66;
	border-width: 2px;
	border-style: solid;
}

ol.pcode {
	margin: 2em 1em 2em;
	padding: 0.5em;
	background-color: #aaddaa;
	border-color: #77aa77;
	border-style: solid;
	border-width: 2px;
	line-height: 1.1em;
	text-autospace: none;
}

ol.pcode li {
	margin-left: 1.5em;
}

ol.other {
	margin: 0.5em 0.5em 0em;
	padding: 1.5em;
	background-color: #eeece1;
	border-color: #cc9999;
	border-style: solid;
	border-width: 1px;
	line-height: 1.5em;
	text-autospace: none;
}

ol.other li {
	margin-left: 0.5em;
}

ul.important {
	margin: 2em 1em 2em;
	background-color: #ffffbb;
	border-color: #dddd66;
	border-width: 2px;
	border-style: solid;
}

ul.other {
	margin: 0.5em 0em 0.5em;
	padding: 0.1em;
	background-color: #eeebe1;
	border-color: #cccc99;
	border-style: solid;
	border-width: 0px;
	line-height: 1.5em;
	text-autospace: none;
}
ul.other li {
	margin-left: 1.5em;
}

li.important {
	margin-left: 2em;
	line-height: 2em;
}

font.important {
	color: red;
	font-weight: bold;
}

font.rule {
	color: green;
	font-weight: bold;
}

font.word {
	color: blue;
	font-weight: bold;
}

font.comment {
	color: gray;
}

font.input {
	// color: darkorange;
	color: brown;
}

hr {
	margin: 1em 0em 0em;
}

img.exp {
	margin-left: 0em;
	border-color: #cccccc;
	border-style: solid;
	border-width: 0px;
}
img.fig {
	margin-left: 2.5em;
	border-color: #cccccc;
	border-style: solid;
	border-width: 2px;
}