body { 	
	font-family: Arial, Helvetica, sans-serif;
	font-size: 9pt; 
	padding: 0.22cm; padding-top: 0.02cm;
	margin-left: 3%; margin-right: 3%; }

h1{font-size:140%;font-weight:bold;margin-top: .5em; margin-bottom: 1em;padding 1em;}

h2{font-size:125%;font-weight:bold;margin-top: .5em; margin-bottom: .5em;padding 1em;}

h3{font-size:110%;font-weight:bold;margin-top: .5em; margin-bottom: .5em;padding 1em;}

h4{font-size:100%;margin-top: .5em; margin-bottom: .5em;padding 1em;}

p { font-size: 90%; text-align: left; margin-top: 0; margin-left: 5%; }

table { width: 100%;  margin: 0; }

td { vertical-align: top; font-size: 90%; }
th { text-align: left; white-space: nowrap; }

td.highlight { 
	background: #FFFF00; }

form { margin: 0; }

ul.special {
font-family: Arial, Helvetica, sans-serif;
font-size: 10pt;
/*font-size: 90%*/
list-style-position: outside;
list-style-image: url(/img/arrow.png);
list-style-type: square;
/*padding: 6px;*/
/*margin: 2px;*/
margin-left: 2%;
}


ul { 
margin-left: 0; 
font-size: 9pt; 
list-style: none; 
}

dl { 
margin-left: 5%; 
}

dd
{ 
margin-left: 1%; 
}

a:link, a:visited { text-decoration: none; }
a:hover { color: #000000; }
a.list:hover { color: #000000; background-color: yellow; }
a:hover img { border: 0px; }
a:link img { border: 0px; }
a:visited img { border: 0px; }


/* menu */
.menu td {
    text-align: center;
    font-weight: bold; 
    font-size: 80%;
    border-color: black;
    border-style: solid;
    border-width: 1px;
    padding: 1px;
}

code {
        font-family: monospace, sans-serif, serif;
        font-size: 9pt;
}


pre {
        font-family: monospace, sans-serif, serif;
        font-size: 9pt;
        line-height: 16px;
        margin-left: 10px;
        margin-top: 8px;
        margin-bottom: 8px;
}

.examples {
        font-family: monospace, sans-serif, serif;
        font-size: 9pt;
        line-height: 16px;
        background: #eee;
        background: #e7e7e7;
        border-bottom: 1px solid #999;
        border-top: 1px solid #999;
        margin-left: 5%;
        margin-bottom: 12px;
}


.lupdate {
    text-align: right;
    font-size: 9pt;
}

.cop {
    text-align: left;
    font-size: 9pt;
}

div.related_links {border-style: dashed; border-color: #999; margin-top: 2em; border-width: 1px 0; background: #F8F7EF;}

div.related_links h2 {margin-top: 0px; background-color:#e7e7e7;}

div.related_links ul {list-style-image: url(../img/arrow.png); list-style-type: square; font-family: Arial, Helvetica, sans-serif; font-size: 10pt; margin-left: 2%;}