body {
padding 0px 0px 8px 2px;
}

p {
margin-left:1em;
line-height:1.2em;
}

ol li {
line-height:1.2em;
margin-bottom:9px;
}

ul li {
margin-bottom:4px;
}

h1 {
padding:5px 5px 5px 15px;
margin:14px 0px 4px 0px;
line-height:1.3em;
background-color:#0f0f78;
color:white;
}

h2 {
margin:1.6em 0px 4px 0px;
line-height:1.2em;
border:1px solid #0f0f78;
border-left-width:10px;
padding:5px;
}

h3 {
margin:1.7em 0px 0px 0px;
padding:0.2em 0px 1px 0.4em;
border-bottom:1px solid #0f0f78;
border-left:10px solid #0f0f78;
}

h4 {
margin:2.0em 0px 0px 3px;
padding:0.4em 0px 4px 0.4em;
border-left:7px solid #0f0f78;
}

h5 {
margin:2.5em 0px 0px 6px;
padding:0.4em 0px 4px 0.6em;
border-left:6px double #0f0f78;
font-size:14px;
}

table {
font-size: 95%;
margin:2px 4px 4px 28px;
border-collapse:collapse;
margin: 6px 0px 14px 1.3em;
}

td, th {
border:1px solid #aaaaaa;
padding:4px 9px 2px 9px;
}

th {
background-color:#c4c4f8;
}

img {
margin:4px 4px 10px 48px;
}

a:link {color:#0f0f78;}
a:hover {color:#ffffff; background-color:#0f0f78;}
a:visited{color:#8a8af0;}

.rtt {
text-align:right;
margin:12px 2px -26px 0px;
}

.rtt a {
margin-left:1.0em;
}

li span {
font-weight:bold;
}

span.em {
font-weight:bold;
}

span.ka {
text-decoration:underline;
}

span.opt {
font-weight:bold;
font-style:italic;
}

ul.toc {
padding: 18px 32px;
margin: 0px 12px 24px 12px;
}

div.frm_hdr {
margin-top:12px;
margin-bottom:-14px;
}

div.frm_hdr span {
font-size:100%;
margin-left:32px;
padding:6px 10px;
font-weight:bold;
background-color:#ffffff;
}

div.frm {
font-size:100%;
border:1px solid;
padding:16px 12px 12px 16px;
margin:4px 0px 12px 20px;
}

.warn {
color:red;
border-color:red;
}

.info {
color:#0f0f78;
border-color:#0f0f78;
}

.code {
border:1px solid #111111;
padding:0.8em;
margin: 0.1em 0.8em 0.9em 1.0em;
font-family:monospace;
width: 40em;
}
.code_cmt {
color:green;
}

.code_mod {
color:red;
}

.list_frm {
border:1px solid #111111;
padding:0.4em;
margin: 0.1em 0.8em 0.9em 1.0em;
width: 40em;
}

ol.note {
list-style-type:none;
}
