body {
 background:#FFE;
 margin: 1em 2em 1em 2em;
 padding:0.5em;
}
div.index {
 font-weight:bold;
 color:#ccc;
 margin:0em;
 padding:0em 0em 0.5em 0em;
 border:none thin;
}
div.main {
 color:#666;
 background:#FFE;
 margin:0.5em 0.5em 0.5em 0.5em;
 padding:0.5em;
 border:thin none;
}
div.note {
 background:#EFF;
 border:1px solid #666;
 margin:2pt 4pt;
 padding:2pt;
}
.fig {
 margin: 0.5em 0.0em 1.5em 0.0em;
 padding: 0.0em 0.0em 0.0em 0.0em;
 text-align:center;
}
h1,h2,h3,h4 {
 color:#555;
 font-weight:bold;
}
h1 {
 margin:0.1em 0em;
 padding:0.1em 0em 0em 1em;
 border-width:0em 0em 2pt 0em;
 border-color:#8080C0;
 border-style:groove;
 font-size:200%;
 font-style:italic;
 color:#404080;
}
h2 {
 font-size:140%;
 margin:0.5em 0em 0.1em;
 padding:0.1em 0.1em 0.1em 0.5em;
 color:#FFF;
 background-color:#88C;
 border:thin none;
}
h3,h4 {
 font-weight:bold;
 margin:0.6em 0em 0.1em;
 padding:0.1em 0.4em 0.1em 0.5em;
 border:solid #88C;
}
h3 {
 font-size:135%;
 border-width:0em 0em 2px 0em;
}
h4 {
 font-size:115%;
 border-width:0em 0em 1px 0em;
}
div.main p,ul,dl,ol,address,blockquote,pre,td {
 /* color:#000; */
 padding-top:0.1em;
 padding-bottom:0.1em;
}
ul,ol,dl {
 margin-top:0.3em;
 margin-bottom:0.3em;
 line-height:1.2em;
}
p {
 text-indent	: 1em; 
 line-height	: 120%;
 margin: 0.5em 0em 0em 0em;
 padding: 0.1em 0em;
}
div.main p,dl,address {
 margin-right: 0.4em;
 margin-left: 0.4em;
}
div.main p,address {
 line-height : 1.3em;
 margin-top: 0.3em;
 margin-bottom:0.3em;
 text-indent: 1em;
}
pre.source {
 border:inset #ccc thin;
 margin:0.1em 1.5em;
 background:#023;
 padding:0.2em 0.2em 0.2em 1em;
 color:white;
 white-space:pre;
/* font-family:monospace;*/
}
table {
 background:#ccc;
}
td {
 background:#ffd;
}
th {
 color:444;
 background:#CCC;
}
strong {
 color:#FF8080;
 font-weight:bold;
}
a:link { color:#67d; }
a:visited { color:#86C; }
a:hover { background:#FF8 }
a:active { background:#FF8; }