body {margin: 0px auto; padding: 5px; background: url(img/background_body_grey.gif) top center repeat-y; font-family: arial, sans-serif; font-size: 10pt;} .body-header-list {margin: 0em 2em 1em 0em; padding: 0 0 0 0; background-color: rgb(238,237,249); font-size: 1.0em;} .body-header-list ul {margin: 5px 0px 0px 0px; padding: 0px; border-bottom: solid 1px rgb(216,206,159); background-color: rgb(219,230,241);} .body-header-list li {list-style: none; margin: 0px; padding: 0px;display: block; min-height: 1.7em; height: auto !important; height: 1.7em; line-height: 1.7em; margin: 0px; padding: 0px 7px 0px 10px; border-top: solid 1px rgb(200,200,200); border-left: solid 7px rgb(219,230,241); color: rgb(75,75,75); font-weight: normal; font-size: 100%; text-decoration: none;} .body-header-list li.title {margin: 0px 0px 0px 0px; padding: 3px 5px 2px 15px; background-color: rgb(156,186,214); color: rgb(255,255,255); text-transform: uppercase; font-weight: bold;}

.body-header-list li table {clear: left; margin: 0em 0px 0em 25px; empty-cells: show; border-collapse: collapse; } .body-header-list li table tr {margin: 0px; padding: 0px;} .body-header-list li table td {margin: 0px; padding: 0px 7px 0px 7px; border: none; text-align: left;} .body-header-list li table th {margin: 0px; padding: 0px; border: none; empty-cells: show; text-align: left; }

pre { padding:5px; background:#e4e4ff; color:#222; border:2px solid ddd; margin-top: .2em; margin-bottom: .2em; margin-left: 0em; margin-right: 0em; font-family: monospace; font-size: 80%; }

pre.vcs {

line-height: 1.2em;

} div.vcs_info {

margin-left: 2em;

} div.vcs span.toggle {

font-size: 70%;
margin-left: .5em;
font-weight: bold;
font-style: italic;

} span.vcs_override {

font-size: 90%;
font-weight: bold;
line-height: 1em;

} table.short_doc {

margin-top: .2em;
background-color: rgb(238,237,249);
width: 100%;

} table.short_doc td.short_doc {

font-style: italic;

} .type-doc, .field-doc { padding-left: 1px; padding-top: 0; padding-bottom: 0; background:#e4e4ff; color:#222; border:2px solid ddd; margin-top: .1em; margin-bottom: .1em; margin-left: 1em; margin-right: .1em; font-size: 80%; }