table.bordered {
    border: 10px solid #aaa;
    border-collapse: collapse;
    padding: 2px;
    margin-top: 0.5em;
    margin-bottom: 1.0em;
}

table.function {
    border: 1px solid #aaa;
    border-collapse: collapse;
    padding: 2px;
    margin-top: 0.5em;
    margin-bottom: 1.0em;
}

table.directive {
    border: 1px solid #aaa;
    border-collapse: collapse;
    padding: 2px;
    margin-top: 0.5em;
    margin-bottom: 1.0em;
}

table.directive td.value {
    empty-cells: show;
    border: 1px solid #aaa;
    padding: 0.3em 0.2em;
    padding-left: 0.1cm;
    padding-right: 0.1cm;
    text-align: left;
    line-height: 1.8em;
    width: 500;
}

table.directive td.key {
    empty-cells: show;
    border: 1px solid #aaa;
    padding: 0.3em 0.2em;
    padding-left: 0.1cm;
    padding-right: 0.1cm;
    text-align: left;
    line-height: 1.8em;
    align: top;
    width: 80;
}

table.function td.value {
    empty-cells: show;
    border: 1px solid #aaa;
    padding: 0.3em 0.2em;
    padding-left: 0.1cm;
    padding-right: 0.1cm;
    text-align: left;
    line-height: 1.8em;
    width: 500;
}

table.function td.key {
    empty-cells: show;
    border: 1px solid #aaa;
    padding: 0.3em 0.2em;
    padding-left: 0.1cm;
    padding-right: 0.1cm;
    text-align: left;
    line-height: 1.8em;
    align: top;
    width: 80;
}

table table.bordered th {
    background-color: e5ecf3;
    empty-cells: show;
    border: 1px solid #aaa;
    padding: 0.3em 0.2em;
    padding-left: 0.1cm;
    padding-right: 0.1cm;
    text-align: left;
    line-height: 1.8em;
}

table table.bordered td {
    empty-cells: show;
    border: 1px solid #aaa;
    padding: 0.3em 0.2em;
    padding-left: 0.1cm;
    padding-right: 0.1cm;
    text-align: left;
    line-height: 1.8em;
}

table table.function th {
    background-color: #e5ecf3;
    empty-cells: show;
    border: 1px solid #aaa;
    padding: 0.3em 0.2em;
    padding-left: 0.1cm;
    padding-right: 0.1cm;
    text-align: left;
    line-height: 1.8em;
    font-size:10pt;
}

table table.function td {
    empty-cells: show;
    border: 1px solid #aaa;
    padding: 0.3em 0.2em;
    padding-left: 0.1cm;
    padding-right: 0.1cm;
    text-align: left;
    line-height: 1.8em;
}

td.session {
    font-weight: bold;
}

td.header {
    font-weight: bold;
    background-color: #b0c4de;
    padding-left: 0.2em;
    border: 1px solid #aaa;
}

table.noborder {
    border-collapse: collapse;
    padding: 2px;
}

table table.noborder td,
table table.noborder th {
    empty-cells: show;
    text-align: left;
    line-height: 1.8em;
}

p.header {
    font-weight: bold;
    margin-top: 0.2em;
    margin-bottom: 0.2em;
}

p.error {
    font-weight: bold;
    color: #800000;
    margin-top: 0.2em;
    margin-bottom: 0.2em;
}

dt.bold {
    font-weight: bold;
}

a.index {
    background-color: #e5ecf3;
    color: #333;
    border: 1px solid #aaa;
    padding: 0.4em;
    margin: 1em 2em 1em 1em;
}

h1.example {
    border: 1px solid #aaa;
    background-color: #e5ecf3;
    color: #333;
    padding: 0.5em;
    margin: 1em 0em 1em 0em;
}

h2.example {
    background-color: #e5ecf3;
    color: #333;
    padding: 0.2em;
    margin: 0.2em 0em 1em 0em;
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: 20px;
}

h2.indent2 {
    margin-left: 0.3em;
    margin-top: 0.6em;
    margin-bottom: 0.02em;
    font-weight: bold;
    font-size: 13px;
}

h2.indent {
    margin-left: 0.3em;
    margin-top: 1em;
    margin-bottom: 0.02em;
    font-family: Verdana, Arial, Helvetica, sans-serif;
    font-size: 17px;
}

h3.example {
    border: 1px solid #aaa;
    background-color: #e5ecf3;
    color: #333;
    padding: 0.5em;
    margin: 1em 20em 1em 1em;
}

div.example {
    background-color: #e5ecf3;
    color: #555;
    padding: 0.5em;
    margin-left: 2em;
    margin-top: 1em;
    margin-bottom: 1em;
}

div.directive {
    border: 1px solid #aaa;
    color: #333;
    padding: 0.5em;
    margin: 1em 2em 1em 1em;
    margin-left: 2em;
    margin-top: 1em;
}

div.indent {
    margin-left: 2em;
    margin-top: 1em;
}

ul {
    margin-top: 0.5em;
}

p.indent2 {
    margin-left: 1.2em;
    margin-top: 0.2em;
    margin-bottom: 0.2em;
    line-height: 180%;
}

p.indent {
    margin-left: 2em;
    margin-top: 1em;
}

dl.indent {
    margin-left: 2em;
    margin-top: 1em;
}

span.indent {
    padding-left: 1.5em;
    display: block;
}

code.directive,
code.directive a:link {
    color: #287f00;
    background-color: inherit;
}

code.directive a:visited {
    color: #35a500;
    background-color: inherit;
}

code.directive a:hover,
code.directive a:active {
    color: #287f00;
    background-color: #f0f0f0;
}

/* hover on non-white backgrounds */
tr.odd code.directive a:hover,
tr.odd code.directive a:active,
tr.header code.directive a:hover,
tr.header code.directive a:active,
div.note code.directive a:hover,
div.note code.directive a:active,
div.example code.directive a:hover,
div.example code.directive a:active,
div.warning code.directive a:hover,
div.warning code.directive a:active,
div#quickview code.directive a:hover,
div#quickview code.directive a:active {
    background-color: #fff;
    color: #287f00;
}

li, ul, ol {
    font-family: Arial, Helvetica, sans-serif;
    font-size: 13px;
    color: #333;
    line-height: 170%;
}

body, p, table, th, td, dl, dd, dt, blockquote, textarea, input {
    font-family: Arial, Helvetica, sans-serif;
    font-size: 13px;
    color: #333;
    line-height: 160%;
}

pre, tt {
    margin: 0.2em 0.2em 0.2em 0.2em;
    padding: 0.2em;
	/*
    font-family: courier, monospaced;
    font-size: 13px;
	*/
    color: #555;
}

pre.index {
    margin-left: 1.8em;
    font-family: Arial, Helvetica, sans-serif;
    font-size: 13px;
    line-height: 170%;
}

a.menu {
    text-decoration: none
    font-family: Arial, Helvetica, sans-serif;
    font-size: 12px;
	/*
    font-weight: bold;
	*/
}

a.underline {
    text-decoration:underline
}

/*
body,td,p,div,span,input,big,small{font-family:arial,helvetica,sans-serif}
body,td,p,div,span,a,input{font-size:10pt}
small,.small,small span,.small span,.small a,small a,div.sitelinks,div.sitelinks a,div.footlinks,div.footlinks a{font-size:9pt}
big,.big,big span,.big span,.big a,big a{font-size:11pt}
*/

a{text-decoration:none}
a:visited{color:#594FBF}
a:link,a.named:visited,div.breadcrumb a:visited,div.sitelinks a:visited,div.footlinks a:visited{color:#594FBF}
a:hover{text-decoration:underline}
.footlinks{padding:7px 0px}
.toolbar{padding:7px 0px 3px 0px}
.homenav{padding:7px 0px 0px 0px}
.homeftr{padding:0px}