body {background-color:#e0f0ff}
p {margin-left:10pt}
h1 {background-color:lightblue}
h1.center {text-align: center}
h2,h3 {background-color:#a0c0ff}
h3.ensyu {background-color:#e0e0ff}
h3.kadai {background-color:lightpink}
h3.answer {background-color:red}
h4.highlight {background-color:lightblue}
h4.answer {color:yellow;background-color:red}
blockquote.src {background-color:lightblue}
span.normal {color:black;background-color:lightyellow}
span.highlight {background-color:lightblue}
span.cmd {color:black;background-color: khaki}
span.prompt {color:brown;background-color: khaki}
span.correct {font-weight:bold;color:blue}
span.note {font-weight:bold;color:red}
span.param {font-weight:bold;color:red}
span.src {background-color:#d0ffd0}
span.mark {background-color:#ffd0d0}
span.result {background-color:#ffd0d0}
span.red {color:red}
span.logo {color:darkblue}
span.logoitalic {color:darkblue; font-style:italic}
span.logosmall {color:darkblue; font-size:50%}
span.logobig {color:darkblue; font-size:150%}
span.biggest {font-weight:bold; font-size:200%}
span.bigger {font-weight:bold; font-size:175%}
span.big {font-weight:bold; font-size:150%}
span.n {background-color: #e0e0ff}
span.hidden {color:lightyellow}
span.title {color:#cf0000;text-decoration:underline}
span.screen {background-color: #e0e0ff}
div.center {text-align: center}
div.cmd {margin-left:20pt;background-color: khaki}
div.prompt {margin-left:20pt;color:brown;background-color: khaki}
div.src {margin-left:20pt;background-color:#d0ffd0}
div.result {margin-left:20pt;background-color:#ffd0d0}
div.smallnote {margin-left:10pt;color:saddlebrown;font-size:xxx-small}
div.box {float: right; width: 30%; border: 1px green solid; padding: 5pt; background-color: #ffe0d0}
div.box2 {border: 1px green solid; padding: 5pt}
div.normal {margin-left:20pt;color:black;background-color:transparent}
div.break {margin-left:10pt;border: 1px lightyellow solid; padding:5pt;background-color:peachpuff}
div.title {margin-left:20pt;color:#808080;text-decoration:underline}
div.lbox {float: left; width: 40%; border: 1px green solid; padding: 5pt}
div.rbox {float: right; width: 40%; border: 1px green solid; padding: 5pt}
/*pre.src {margin-left:20pt;border:1px #b0ffb0 solid;background-color:#d0ffd0}*/
pre.screen {background-color: #e0e0ff}
pre.minisrc {margin-left:20pt;background-color:#d0ffd0;font-size:xxx-small}
pre.src {margin-left:20pt;background-color:#d0ffd0}
pre.result {margin-left:20pt;background-color:#ffd0d0}
pre.prompt {margin-left:20pt;color:brown;background-color: khaki}
pre.title {margin-left:20pt;text-decoration:underline;background-color:#f0f0ff}
pre.src-red {margin-left:20pt;background-color:red}
pre.src-pink {margin-left:20pt;background-color:pink}
table.a {margin-left:20pt}
table.screen {background-color: #e0e0ff}
td.src {background-color:#d0ffd0}
td.result {background-color:#ffd0d0}
td.break {background-color:peachpuff}
address {border:2px #a0d0ff solid}