body {
    margin-top: 40px;
    font-family: Gill Sans, Tahoma, sans-serif;
    color: #202020;
}

a {
    text-decoration: none;
    color: #003CCC;
}

button.donate {
    color: white;
    background-color: #003CCC;
    margin: 20px;
    padding: 8px 12px;
    border:0;
    border-radius:4px;
    font-size:1.2em;
    cursor: pointer;
}

em {
    font-style: italic;
}

strong {
    font-weight: bold;
}

ul ul {
    margin: 0 0 0 20px;
}

.toctree-wrapper {
    font-size: 1.3em;
}

.toctree-wrapper li {
    margin: 1.2ex 0 0 0.1em;
}

.toctree-wrapper li:before {
    content: "\2027 \0020";
    /* content: "\00BB \0020"; 2023? */
}

ol {
    margin: 0 0 0 20px;
}

ol li { list-style-type: decimal; }

/*********** RST specific formatting -- based off of sphinx's *********/

div.documentwrapper a {
    color: #CA7900;
    text-decoration: none;
}

div.documentwrapper a:hover {
    color: #2491CF;
}

div.documentwrapper pre {
    font-family: 'Consolas', 'Deja Vu Sans Mono', 'Bitstream Vera Sans Mono', monospace;
    font-size: 0.95em;
    letter-spacing: 0.015em;
    padding: 0.5em;
    border: 1px solid #ccc;
    background-color: #f8f8f8;
}

div.documentwrapper td.linenos pre {
    padding: 0.5em 0;
    border: 0;
    background-color: transparent;
    color: #aaa;
}

div.documentwrapper table.highlighttable {
    margin-left: 0.5em;
}

div.documentwrapper table.highlighttable td {
    padding: 0 0.5em 0 0.5em;
}

div.documentwrapper cite, code, tt {
    font-family: 'Consolas', 'Deja Vu Sans Mono', 'Bitstream Vera Sans Mono', monospace;
    font-size: 0.95em;
    letter-spacing: 0.01em;
}

div.documentwrapper hr {
    border: 1px solid #abc;
    margin: 2em;
}

div.documentwrapper tt {
    background-color: #f2f2f2;
    border-bottom: 1px solid #ddd;
    color: #333;
}

div.documentwrapper tt.descname {
    background-color: transparent;
    font-weight: bold;
    font-size: 1.2em;
    border: 0;
}

div.documentwrapper tt.descclassname {
    background-color: transparent;
    border: 0;
}

div.documentwrapper tt.xref {
    background-color: transparent;
    font-weight: bold;
    border: 0;
}

div.documentwrapper a tt {
    background-color: transparent;
    font-weight: bold;
    border: 0;
    color: #CA7900;
}

div.documentwrapper a tt:hover {
    color: #2491CF;
}

/* this would be another way of doing this, good for IE 8+ and the usual
   good browsers
 div.documentwrapper ul.simple li:before {
	content: "\00BB \0020";
}
 */

div.documentwrapper ul.simple {
    margin-left: 2.5em;
}

div.documentwrapper ul.simple li {
    list-style: square;
}

div.documentwrapper .field-list ul {
    margin: 0;
    padding-left: 1em;
}

div.documentwrapper .field-list p {
    margin: 0;
}

div.documentwrapper dl {
    margin-bottom: 15px;
}

div.documentwrapper dd p {
    margin-top: 0px;
}

div.documentwrapper dd ul, dd table {
    margin-bottom: 10px;
}

div.documentwrapper dd {
    margin-top: 3px;
    margin-bottom: 10px;
    margin-left: 30px;
}

div.documentwrapper .refcount {
    color: #060;
}

dt:target,
div.documentwrapper .highlight {
    background-color: #fbe54e;
}

div.documentwrapper dl.glossary dt {
    font-weight: bold;
    font-size: 1.1em;
}

div.documentwrapper pre {
    line-height: 120%;
}

div.documentwrapper pre a {
    color: inherit;
    text-decoration: underline;
}

div.documentwrapper .first {
    margin-top: 0 !important;
}

div.documentwrapper div.clearer {
    clear: both;
}

div.documentwrapper div.related h3 {
    display: none;
}

div.documentwrapper div.related ul {
    background-image: url(navigation.png);
    height: 2em;
    list-style: none;
    border-top: 1px solid #ddd;
    border-bottom: 1px solid #ddd;
    margin: 0;
    padding-left: 10px;
}

div.documentwrapper div.related ul li {
    margin: 0;
    padding: 0;
    height: 2em;
    float: left;
}

div.documentwrapper div.related ul li.right {
    float: right;
    margin-right: 5px;
}

div.documentwrapper div.related ul li a {
    margin: 0;
    padding: 0 5px 0 5px;
    line-height: 1.75em;
    color: #EE9816;
}

div.documentwrapper div.related ul li a:hover {
    color: #3CA8E7;
}

div.documentwrapper div.body {
    margin: 0;
    padding: 5px 20px;
}

div.documentwrapper div.bodywrapper {
    margin: 0 190px 0 0;
    border-right: 1px solid #ccc;
}

div.documentwrapper div.body a {
    text-decoration: underline;
}

div.documentwrapper div.sphinxsidebar {
    margin: 0;
    padding: 0.5em 15px 15px 0;
    width: 210px;
    float: right;
    text-align: left;
/*    margin-left: -100%; */
}

div.documentwrapper div.sphinxsidebar h4, div.sphinxsidebar h3 {
    margin: 1em 0 0.5em 0;
    font-size: 0.9em;
    padding: 0.1em 0 0.1em 0.5em;
    color: white;
    border: 1px solid #86989B;
    background-color: #AFC1C4;
}

div.documentwrapper div.sphinxsidebar ul {
    padding-left: 1.5em;
    margin-top: 7px;
    list-style: none;
    padding: 0;
    line-height: 130%;
}

div.documentwrapper div.sphinxsidebar ul ul {
    list-style: square;
    margin-left: 20px;
}

div.documentwrapper p {
    margin: 0.8em 0 0.5em 0;
}

div.documentwrapper p.rubric {
    font-weight: bold;
}

div.documentwrapper div.section:first-of-type h1 {
    margin: 0 0 1.5ex 0;
}

div.documentwrapper h1 {
    margin: 2.5ex 0 1.5ex 0;
    padding: 0.3em 0;
    font-size: 22pt;
    font-weight: bold;
    color: #00257F;
}

div.documentwrapper h2 {
    margin: 3ex 0 0.2ex 0;
    /* font-size: 14pt; */
    padding: 0;
    font-weight: bold;
    color: #00257F;
}

div.documentwrapper h3 {
    margin: 2ex 0 -0.3ex 0;
    font-size: 1.2em;
}

div.documentwrapper h1 a, h2 a, h3 a, h4 a, h5 a, h6 a {
    color: black!important;
}

div.documentwrapper h1 a.anchor, h2 a.anchor, h3 a.anchor, h4 a.anchor, h5 a.anchor, h6 a.anchor {
    display: none;
    margin: 0 0 0 0.3em;
    padding: 0 0.2em 0 0.2em;
    color: #aaa!important;
}

h1:hover a.anchor, h2:hover a.anchor, h3:hover a.anchor, h4:hover a.anchor,
div.documentwrapper h5:hover a.anchor, h6:hover a.anchor {
    display: inline;
}

h1 a.anchor:hover, h2 a.anchor:hover, h3 a.anchor:hover, h4 a.anchor:hover,
div.documentwrapper h5 a.anchor:hover, h6 a.anchor:hover {
    color: #777;
    background-color: #eee;
}

div.documentwrapper table {
    border-collapse: collapse;
    margin: 0 -0.5em 0 -0.5em;
}

div.documentwrapper table th {
    font-weight: bold;
    color: #00257F;
}

div.documentwrapper table td, div.documentwrapper table th {
    padding: 0.1em 0.5em;
    font-size: 0.8em;
}

div.documentwrapper div.footer {
    background-color: #E3EFF1;
    color: #86989B;
    padding: 3px 8px 3px 0;
    clear: both;
    font-size: 0.8em;
    text-align: right;
}

div.documentwrapper div.footer a {
    color: #86989B;
    text-decoration: underline;
}

div.documentwrapper div.pagination {
    margin-top: 2em;
    padding-top: 0.5em;
    border-top: 1px solid black;
    text-align: center;
}

div.documentwrapper div.sphinxsidebar ul.toc {
    margin: 1em 0 1em 0;
    padding: 0 0 0 0.5em;
    list-style: none;
}

div.documentwrapper div.sphinxsidebar ul.toc li {
    margin: 0.5em 0 0.5em 0;
    font-size: 0.9em;
    line-height: 130%;
}

div.documentwrapper div.sphinxsidebar ul.toc li p {
    margin: 0;
    padding: 0;
}

div.documentwrapper div.sphinxsidebar ul.toc ul {
    margin: 0.2em 0 0.2em 0;
    padding: 0 0 0 1.8em;
}

div.documentwrapper div.sphinxsidebar ul.toc ul li {
    padding: 0;
}

div.documentwrapper div.admonition, div.warning {
    font-size: 0.9em;
    margin: 1em 0 0 0;
    border: 1px solid #86989B;
    background-color: #f7f7f7;
}

div.documentwrapper div.admonition p, div.warning p {
    margin: 0.5em 1em 0.5em 1em;
    padding: 0;
}

div.documentwrapper div.admonition pre, div.warning pre {
    margin: 0.4em 1em 0.4em 1em;
}

div.admonition p.admonition-title,
div.documentwrapper div.warning p.admonition-title {
    margin: 0;
    padding: 0.1em 0 0.1em 0.5em;
    color: white;
    border-bottom: 1px solid #86989B;
    font-weight: bold;
    background-color: #AFC1C4;
}

div.documentwrapper div.warning {
    border: 1px solid #940000;
}

div.documentwrapper div.warning p.admonition-title {
    background-color: #CF0000;
    border-bottom-color: #940000;
}

div.admonition ul, div.admonition ol,
div.documentwrapper div.warning ul, div.warning ol {
    margin: 0.1em 0.5em 0.5em 3em;
    padding: 0;
}

div.documentwrapper div.versioninfo {
    margin: 1em 0 0 0;
    border: 1px solid #ccc;
    background-color: #DDEAF0;
    padding: 8px;
    line-height: 1.3em;
    font-size: 0.9em;
}


div.documentwrapper a.headerlink {
    color: #c60f0f!important;
    font-size: 1em;
    margin-left: 6px;
    padding: 0 4px 0 4px;
    text-decoration: none!important;
    visibility: hidden;
}

h1:hover > a.headerlink,
h2:hover > a.headerlink,
h3:hover > a.headerlink,
h4:hover > a.headerlink,
h5:hover > a.headerlink,
h6:hover > a.headerlink,
div.documentwrapper dt:hover > a.headerlink {
    visibility: visible;
}

div.documentwrapper a.headerlink:hover {
    background-color: #ccc;
    color: white!important;
}

div.documentwrapper table.indextable td {
    text-align: left;
    vertical-align: top;
}

div.documentwrapper table.indextable dl, table.indextable dd {
    margin-top: 0;
    margin-bottom: 0;
}

div.documentwrapper table.indextable tr.pcap {
    height: 10px;
}

div.documentwrapper table.indextable tr.cap {
    margin-top: 10px;
    background-color: #f2f2f2;
}

div.documentwrapper img.toggler {
    margin-right: 3px;
    margin-top: 3px;
    cursor: pointer;
}

div.documentwrapper form.pfform {
    margin: 10px 0 20px 0;
}

div.documentwrapper table.contentstable {
    width: 90%;
}

div.documentwrapper table.contentstable p.biglink {
    line-height: 150%;
}

div.documentwrapper a.biglink {
    font-size: 1.3em;
}

div.documentwrapper span.linkdescr {
    font-style: italic;
    padding-top: 5px;
    font-size: 90%;
}

div.documentwrapper ul.search {
    margin: 10px 0 0 20px;
    padding: 0;
}

div.documentwrapper ul.search li {
    padding: 5px 0 5px 20px;
    background-image: url(file.png);
    background-repeat: no-repeat;
    background-position: 0 7px;
}

div.documentwrapper ul.search li a {
    font-weight: bold;
}

div.documentwrapper ul.search li div.context {
    color: #888;
    margin: 2px 0 0 30px;
    text-align: left;
}

div.documentwrapper ul.keywordmatches li.goodmatch a {
    font-weight: bold;
}

/******************************* Any page *****************************/

/*
 * Header
 */
div#header {
    position: relative;
    padding-bottom: 2px;
    font-size: 12px;
    margin-bottom: 10px;
    border-bottom: 1px solid #00257F;
}

div#header_title {
    padding-left: 5px;
    font-size: 14px;
}

div#header_title a {
    border-bottom: 1px solid transparent;
}

div#header_title a:hover {
    color: #003CCC;
    border-bottom: 1px dotted #003CCC;
}

div#header_title.home {
    padding-left: 50px;
    font-family: Monaco, Lucida Console, monospace;
}

div#header_title h1 {
    font-weight: bold;
    font-size: 18px;
}

div#header_title h3 {
    font-weight: normal;
    color: #202020;
    font-size: 12px;
}

div#header_links {
    position: absolute;
    right: 0;
    bottom: 0;
    width: 300px;
    text-align: right;
    font-size: 13px;
}

/*
 * Footer
 */
div#footer {
    text-align: center;
    font-size: 9px;
    border-top: 1px solid #00257F;
    padding-top: 4px;
    /* color: #00257F; */
}

/****************************** Home page *****************************/

/*
 * Header
 */

div#logo {
    position: absolute;
    background: url(./34-effect-trans.png) no-repeat;
    width: 41px;
    height: 80px;
    left: 2px;
    bottom: -21px;
}

/*
 * Main block
 */

div#home_main {
    margin-top: 15px;
}

div#home_main > div {
    margin-bottom: 15px;
}

div#home_main h3, div#home_main div.documentwrapper h1 {
    color: #00257F;
    font-weight: bold;
    font-size: 19px;
}

div#home_main div.documentwrapper  h1,
div#home_main div.documentwrapper h3 {
    padding: 0;
}

div#home_main div.rightcol {
    padding-top: 5px;
}


div#home_main div.userlist,
div#home_main div.sitelist {
    float: left;
    width: 190px;
}

div#home_main div.userlist a,
div#home_main div.sitelist a {
    display: block;
}

/**************************** Regular pages ***************************/

div.documentwrapper div.bodywrapper {
    border: none;
    margin-bottom: 10px;
}