BODY {
	BACKGROUND-COLOR: aliceblue
}
small {
      FONT-SIZE: 50%
}
H1 {
	PADDING-RIGHT: 0.3em; PADDING-LEFT: 0.3em; FONT-SIZE: 200%; PADDING-BOTTOM: 0.3em; COLOR: white; PADDING-TOP: 0.3em; BACKGROUND-COLOR: mediumslateblue; TEXT-ALIGN: center
}
H2 {
	PADDING-RIGHT: 0.1em; MARGIN-TOP: 20pt; PADDING-LEFT: 0.1em; MARGIN-BOTTOM: 15pt; PADDING-BOTTOM: 0.1em; COLOR: white; TEXT-INDENT: 1em; PADDING-TOP: 0.1em; BACKGROUND-COLOR: mediumslateblue
}
H3 {
	PADDING-RIGHT: 3pt; PADDING-LEFT: 3pt; PADDING-BOTTOM: 3pt; COLOR: white; TEXT-INDENT: 1em; PADDING-TOP: 3pt; BACKGROUND-COLOR: slateblue
}
H3.kadai {
	PADDING-RIGHT: 3pt; PADDING-LEFT: 3pt; PADDING-BOTTOM: 3pt; COLOR: white; TEXT-INDENT: 1.5em; PADDING-TOP: 3pt; BACKGROUND-COLOR: blue
}
H4 {
	PADDING-RIGHT: 3pt; PADDING-LEFT: 3pt; PADDING-BOTTOM: 3pt; COLOR: white; TEXT-INDENT: 1em; PADDING-TOP: 3pt; BACKGROUND-COLOR: #2000b0
}
H4.highlight {
	COLOR: black; BACKGROUND-COLOR: lightblue
}
H5 {
	PADDING-RIGHT: 3pt; PADDING-LEFT: 3pt; PADDING-BOTTOM: 3pt; COLOR: white; TEXT-INDENT: 1em; PADDING-TOP: 3pt; BACKGROUND-COLOR: slateblue
}
PRE.s {
	BORDER-RIGHT: gray thin solid; PADDING-RIGHT: 10pt; BORDER-TOP: gray thin solid; PADDING-LEFT: 10pt; PADDING-BOTTOM: 10pt; BORDER-LEFT: gray thin solid; PADDING-TOP: 10pt; BORDER-BOTTOM: gray thin solid; BACKGROUND-COLOR: lavender
}
PRE.nospc {
	BORDER-RIGHT: gray thin solid; PADDING-RIGHT: 0pt; BORDER-TOP: gray thin solid; PADDING-LEFT: 0pt; PADDING-BOTTOM: 0pt; BORDER-LEFT: gray thin solid; PADDING-TOP: 0pt; BORDER-BOTTOM: gray thin solid; BACKGROUND-COLOR: lavender
}
PRE.c {
	BORDER-RIGHT: gray thin solid; PADDING-RIGHT: 10pt; BORDER-TOP: gray thin solid; PADDING-LEFT: 10pt; PADDING-BOTTOM: 10pt; BORDER-LEFT: gray thin solid; PADDING-TOP: 10pt; BORDER-BOTTOM: gray thin solid; BACKGROUND-COLOR: paleturquoise
}
PRE.e {
	BORDER-RIGHT: gray thin solid; PADDING-RIGHT: 10pt; BORDER-TOP: gray thin solid; PADDING-LEFT: 10pt; PADDING-BOTTOM: 10pt; MARGIN: 5pt 5pt 20pt 10pt; BORDER-LEFT: gray thin solid; PADDING-TOP: 10pt; BORDER-BOTTOM: gray thin solid; BACKGROUND-COLOR: gainsboro
}
/*PRE.screen {
	BACKGROUND-COLOR: #e0e0ff
}*/
pre.screen {
        color: white; 
	background-color: #404040;
	padding-top: 10px; 
	padding-bottom: 10px; 
	padding-left: 10px; 
	padding-right: 10px; 
}
PRE.minisrc {
	BORDER-RIGHT: #c0ffc0 thin solid; BORDER-TOP: #c0ffc0 thin solid; MARGIN-LEFT: 20pt; BORDER-LEFT: #c0ffc0 thin solid; BORDER-BOTTOM: #c0ffc0 thin solid; BACKGROUND-COLOR: #e0ffe0
}
PRE.src {
	BORDER-RIGHT: #c0ffc0 thin solid; BORDER-TOP: #c0ffc0 thin solid; MARGIN-LEFT: 20pt; BORDER-LEFT: #c0ffc0 thin solid; BORDER-BOTTOM: #c0ffc0 thin solid; BACKGROUND-COLOR: #e0ffe0
}
PRE.result {
	MARGIN-LEFT: 20pt; BACKGROUND-COLOR: #ffd0d0
}
PRE.prompt {
	MARGIN-LEFT: 20pt; COLOR: brown; BACKGROUND-COLOR: khaki
}
DIV.box {
	BORDER-RIGHT: lightblue 3px solid; PADDING-RIGHT: 10pt; BORDER-TOP: lightblue 3px solid; PADDING-LEFT: 10pt; FLOAT: right; PADDING-BOTTOM: 10pt; BORDER-LEFT: lightblue 3px solid; WIDTH: 30%; PADDING-TOP: 10pt; BORDER-BOTTOM: lightblue 3px solid; BACKGROUND-COLOR: #f0f0ff
}
DIV.ex {
	BORDER-RIGHT: lightgreen 3px solid; PADDING-RIGHT: 10pt; BORDER-TOP: lightgreen 3px solid; PADDING-LEFT: 10pt; PADDING-BOTTOM: 10pt; MARGIN: 15pt 5pt 20pt 10pt; BORDER-LEFT: lightgreen 3px solid; PADDING-TOP: 10pt; BORDER-BOTTOM: lightgreen 3px solid; BACKGROUND-COLOR: beige
}
DIV {
	BORDER-RIGHT: lightgreen 3px solid; PADDING-RIGHT: 10pt; BORDER-TOP: lightgreen 3px solid; PADDING-LEFT: 10pt; PADDING-BOTTOM: 10pt; MARGIN: 15pt 5pt 15pt 30pt; BORDER-LEFT: lightgreen 3px solid; PADDING-TOP: 10pt; BORDER-BOTTOM: lightgreen 3px solid; BACKGROUND-COLOR: honeydew
}
PRE.exp {
	BORDER-RIGHT: #aa3333 1pt solid; PADDING-RIGHT: 10pt; BORDER-TOP: #aa3333 1pt solid; PADDING-LEFT: 10pt; PADDING-BOTTOM: 10pt; MARGIN: 10pt 10pt 20pt; BORDER-LEFT: #aa3333 1pt solid; PADDING-TOP: 10pt; BORDER-BOTTOM: #aa3333 1pt solid; BACKGROUND-COLOR: #ffeeee
}
DIV.exp {
	BORDER-RIGHT: #aa3333 1pt solid; PADDING-RIGHT: 10pt; BORDER-TOP: #aa3333 1pt solid; PADDING-LEFT: 10pt; PADDING-BOTTOM: 10pt; MARGIN: 10pt 10pt 20pt; BORDER-LEFT: #aa3333 1pt solid; PADDING-TOP: 10pt; BORDER-BOTTOM: #aa3333 1pt solid; BACKGROUND-COLOR: #ffeeee
}
SPAN.pink {
	COLOR: black; BACKGROUND-COLOR: lightpink
}
SPAN.rose {
	COLOR: black; BACKGROUND-COLOR: mistyrose
}
SPAN.blue2 {
	COLOR: black; BACKGROUND-COLOR: #aaaaff
}
SPAN.blue {
	COLOR: black; BACKGROUND-COLOR: lightskyblue
}
SPAN.res {
	COLOR: #a06000
}
SPAN.red {
	COLOR: #ff0000
}
SPAN.blue3 {
	COLOR: #0000ff
}
SPAN.green {
	COLOR: #00ff00
}
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 {
	FONT-SIZE: 18pt; caption-side: top
}
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 {
	FONT-SIZE: 150%; COLOR: #ff0000
}
TABLE.ts {
	BORDER-RIGHT: black 1.5pt solid; PADDING-RIGHT: 3em; BORDER-TOP: black 1.5pt solid; MARGIN-TOP: 15pt; PADDING-LEFT: 3em; MARGIN-BOTTOM: 15pt; PADDING-BOTTOM: 3em; MARGIN-LEFT: 20pt; BORDER-LEFT: black 1.5pt solid; PADDING-TOP: 3em; BORDER-BOTTOM: black 1.5pt solid
}
TD.ts {
	BORDER-RIGHT: 1pt solid; BORDER-TOP: 1pt solid; BORDER-LEFT: 1pt solid; BORDER-BOTTOM: 1pt solid
}
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
}
DIV.box2 {
	BORDER-RIGHT: green 1px solid; PADDING-RIGHT: 5pt; BORDER-TOP: green 1px solid; PADDING-LEFT: 5pt; PADDING-BOTTOM: 5pt; BORDER-LEFT: green 1px solid; PADDING-TOP: 5pt; BORDER-BOTTOM: green 1px solid
}
DIV.normal {
	MARGIN-LEFT: 20pt; COLOR: black; BACKGROUND-COLOR: transparent
}
SPAN.title {
	COLOR: #cf0000; TEXT-DECORATION: underline
}
span.note {font-weight:bold;color:red}
span.safe {font-weight:bold;color:blue}
span.memo {font-weight:bold;color:purple}
span.good {font-weight:bold;color:green}
table.uml { border:1px solid #aaaaff;background:#ffffff }
th.uml { border:1px solid #aaaaff;background:#ffffff }
td.uml { border:1px solid #aaaaff;background:#ffffff }