body {background-color: aliceblue}
h1	{text-align: center; font-size:200%;
	padding: 0.3em; color: white;
	background-color:mediumslateblue}
h2	{text-indent: 1em;
	margin-top: 20pt;
	margin-bottom: 15pt;
	padding: 0.1em; color: white;
	background-color:mediumslateblue}
h3	{text-indent: 1em; color: white;padding: 3pt;
	background-color:slateblue}
h3.kadai {text-indent: 1.5em; color: white;padding: 3pt;
	background-color:blue}
h4	{text-indent: 1em; color: white;padding: 3pt;
	background-color:#2000b0}
h4.highlight {background-color:lightblue; color:black}
h5	{text-indent: 1em; color: white;padding: 3pt;
	background-color:slateblue}
pre.s	{padding: 10pt; border: thin gray solid; background-color:lavender}
pre.nospc	{padding: 0pt; border: thin gray solid; background-color:lavender}
pre.c	{padding: 10pt; border: thin gray solid; background-color:paleturquoise}pre.e	{margin: 5pt 5pt 20pt 10pt; padding: 10pt; border: thin gray solid; background-color:gainsboro}
pre.screen {background-color: #e0e0ff}
pre.minisrc {margin-left:20pt;border:thin #c0ffc0 solid;background-color:#e0ffe0;font-size:xxx-small}
pre.src {margin-left:20pt;border:thin #c0ffc0 solid;background-color:#e0ffe0}
pre.result {margin-left:20pt;background-color:#ffd0d0}
pre.prompt {margin-left:20pt;color:brown;background-color: khaki}
div.box	{float: right; width: 30%;
	border: 3px lightblue solid; padding: 10pt; background-color: #f0f0ff}

div.ex	{margin: 15pt 5pt 20pt 10pt; border: 3px lightgreen solid; padding: 10pt; background-color: beige}
div	{margin: 15pt 5pt 15pt 30pt; border: 3px lightgreen solid; padding: 10pt; background-color: honeydew}
pre.exp	{border-style:solid;
	border-width:1pt;
	border-color:#aa3333;
	padding:10pt;
	background-color:#ffeeee;
	margin:10pt 10pt 20pt}

div.exp	{border-style:solid;
	border-width:1pt;
	border-color:#aa3333;
	padding:10pt;
	background-color:#ffeeee;
	margin:10pt 10pt 20pt}

span.pink {background-color: lightpink; color: black}
span.rose {background-color: mistyrose; color: black}
span.blue2{background-color: #aaaaff; color: black}
span.blue {background-color: lightskyblue; color: black}
span.res {color: #a06000}
span.red {color: #ff0000}
span.src {background-color:#d0ffd0}
span.cmd {color:black;background-color: khaki}
span.n {background-color: #e0e0ff}
span.large {font-size:18pt}
span.screen {background-color: #e0e0ff}
caption {caption-side: top; font-size: 18pt}

p	{margin:5pt 10pt;}
dt	{margin:2pt 20pt}
ul	{margin:7pt 10pt 7pt 30pt}
ol	{margin:7pt 10pt 7pt 30pt}
li	{margin:3pt 0pt}
pre	{margin:5pt 20pt}
img.spc	{margin:5pt 20pt 20pt}
img.spc2	{margin:10pt 20pt 0pt}
.b	{background-color:#dee8ff;}
li.spc	{margin:15pt 0pt}
ul.spc	{margin:15pt 50pt}
ol.spc	{margin:15pt 50pt}
b.red	{color:#ff0000}
b.blue	{color:#0000ff}
b.emp	{color:#ff0000; font-size:150%;}
table.ts	{border-style:	solid;
	border-width:	1.5pt;
	border-color:	black;
	padding:	3em;
	margin-top:	15pt;
	margin-left:	20pt;
	margin-bottom:	15pt;
	}
td.ts	{border-style:	solid;
	border-width:	1pt;
	}
p.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.box2 {border: 1px green solid; padding: 5pt}
div.normal {margin-left:20pt;color:black;background-color:transparent}
span.title {color:#cf0000;text-decoration:underline}