body{
font-family: Verdana, sans-serif;
margin-left: 5px;
margin-top: 5px;
font-size: medium;
}

.code{
font-family: Courier;
}

h1{
text-align: center;
}

h1,h2,h3,h4{
clear:both;
}

p, ul, ol{
font-size: smaller;
}

ul ol{
font-size: inherit;
}
ol ul{
font-size: inherit;
}

li{
padding-bottom: 2px;
padding-top: 2px;
}

.axml{
font-weight: bold;
}

.question{
font-style: italic;
color: blue;
font-size: smaller;
}

.top{
font-size: x-small;

}

div.info-small{
font-size: x-small;
}
div.note{
font-size: x-small;
}

.emph{
font-style: italic;
}

.path{
font-weight: bolder;
font-style: italic;
font-family: monospace, sans-serif;
}

.resource{
/*marker*/
}

.xml-block{
font-size: smaller;
margin: 10px;
border-left: 1px solid black;
padding: 10px;
white-space: pre;
width: 100%;
}

#toc, #res{
border-left: solid black 1px;
margin-left: 5px;
padding: 10px;
}

.title1{
margin-left: 0px;
padding: 2px;
font-size: 80%;
}

.title2, .title3, .title4{
padding-top: 2px;
}

.title2{
margin-left: 20px;
font-size: 70%;
}
.title3{
margin-left: 40px;
font-size: 60%;
}
.title4{
margin-left: 60px;
font-size: 55%;
}