@import url(default.css);
div.section h1
{
margin-top: 0pt;
margin-bottom: 0pt;
}
div.section h3
{
margin-bottom: 0pt;
padding-bottom: 0pt;
}
p
{
margin-top: 7pt;
padding-top: 0pt;
}
pre.literal-block
{
border-style: none none none solid;
border-width: 1px;
border-color: black;
padding-top: 1pt;
padding-bottom: 1pt;
padding-left: 1em;
margin-top: 10pt;
margin-left: 0pt;
background-color: #f5f5f5;
}
td pre.literal-block
{
border-style: none;
margin-top: 0pt;
padding-left: 1pt;
}
tt.literal {
background-color: #f5f5f5;
}
body.docframe {
background: #fffff5 url(manual.png) no-repeat top right fixed;
margin-right: 25pt;
}
table
{
border: solid 1px;
border-collapse: collapse;
}
table td
{
margin-top: 0pt;
margin-bottom: 0pt;
padding-top: 2pt;
padding-bottom: 3pt;
}
a.ref-subsection-title
{
text-decoration: none;
color: black;
}
table.table
{
border: solid 1px black;
border-collapse: collapse;
}
table.table td
, table.table th
{
border: solid 1px black;
}
table.wrapper
{
border: 0px;
width: 100%;
margin-top: 0px;
margin-left: 0px;
margin-bottom: 0px;
}
table.wrapper td
{
padding-left: 0px;
padding-right: 0px;
padding-bottom: 0px;
vertical-align: middle;
}
table.wrapper td.right
{
padding-left: 0px;
text-align: right;
}
table.wrapper td.right img
{
float: right;
border-width: 0px;
}
a.subsection-title
{
color: black;
text-decoration: none;
}
a.identifier
,a.header
{
color: black;
text-decoration: none;
}
a.identifier:hover
,a.header:hover
{
background-color: #eeeeee;
}
hr.navigation-bar-separator {
width: 100%;
clear: both;
}
span.navigation-bar {
float: left;
}
span.page-location {
float: right;
}
body.tocframe ul.auto-toc,
ul.auto-toc {
list-style-type: none;
margin-left: 0pt;
}
ul.auto-toc li li,
body.tocframe ul.auto-toc li li {
list-style-type: none;
margin-left: 15pt;
}
body.tocframe ul.toc,
ul.toc {
margin-left: 0pt;
}
body.tocframe ul.toc li,
ul.toc li {
list-style-type: circle;
margin-left: 15pt;
}