body {
font-family: "Times New Roman", Times, Gulim, serif;
margin: 0;
padding: 0;
}
div.box {
padding: 1% 2% 1% 1%;
}
div.box2 {
padding: 3% 3% 1% 3%;
}
p, ol, ul {
margin: 0 0 1em 0;
padding: 0;
}
ol {
list-style-type: decimal;
}
p.quote {
margin: 0 3em 1em 3em;
}
p.hidden {
margin: 0;
}
.indent {
margin-left: 2em;
list-style-position: outside;
}
.nest1 {
margin: 0 0 0 2em;
list-style-position: outside;
list-style-type: lower-alpha;
}
.nest2 {
margin: 0 0 0 2em;
list-style-position: outside;
list-style-type: upper-roman;
}
.alignright {
text-align: right;
}
.il {
display: inline;
}
.red { 
color: #ff0000;
}
.green { 
color: #00ff00;
}
.magenta { 
color: #ff00ff;
}
h1 {
font-size: 160%;
font-weight: bold;
margin: 0 0 0.5em 0;
padding: 0;
}
h2 {
font-size: 120%;
font-weight: bold;
margin: 0 0 0.5em 0;
padding: 0;
}
h3, h4, h5, h6 {
font-size: 100%;
font-weight: bold;
margin: 0 0 0.5em 0;
padding: 0;
}
div.ff {
font-size: 200%;
font-family: "Times New Roman", Times, serif;
margin: -1% 0 0 0;
border-bottom: 0.06em solid black;
}
.super {
font-size: 50%;
}
div.erc {
font-size: 130%;
font-family: Helvetica, Arial, sans-serif;
}
ul.nav {
float: left;
width: 100%;
margin: 0.3em 0 .7em 0;
}
a.hnb {
text-align: center;
text-decoration: none;
color: black;
float:left;
min-width: 3em;
margin: 0;
padding: 3px 6px;
border-right: 1px solid white;
background-color: #9999ff;
}
a.hnb:hover {
background-color:#ff3300;
}
div.left {
float: left;
width: 49%;
margin: 0;
padding: 0 0 1em 0;
}
div.right {
margin: 0 0 0 51%;
padding: 0 0 1em 0;

}
div.footer {
font-size: 115%;
font-family: Helvetica, Arial, sans-serif;
text-align: center;
clear:left;
margin: 0 0 2% 0;
padding: 0.2em 0 0.2em 0;
border-top: 0.06em solid black;
border-bottom: 0.06em solid black;
}
div.fixedleft {
position: fixed;
width: 14%;
height: 98%;
overflow: auto;
}
.toc {
text-decoration: none;
}
.toca {
padding: 0 0 0.5em 0;
list-style-type: none;
}
.tocb {
padding: 0 0 0.5em 0.5em;
list-style-type: none;
}
div.text {
margin: 0 0 0 16%;
}