/*
 * haiku.css_t
 * ~~~~~~~~~~~
 *
 * Sphinx stylesheet -- haiku theme.
 *
 * Adapted from http://haiku-os.org/docs/Haiku-doc.css.
 * Original copyright message:
 *
 *     Copyright 2008-2009, Haiku. All rights reserved.
 *     Distributed under the terms of the MIT License.
 *
 *     Authors:
 *              Francois Revol <revol@free.fr>
 *              Stephan Assmus <superstippi@gmx.de>
 *              Braden Ewing <brewin@gmail.com>
 *              Humdinger <humdingerb@gmail.com>
 *
 * :copyright: Copyright 2007-2010 by the Sphinx team, see AUTHORS.
 * :license: BSD, see LICENSE for details.
 *
 */

@import url("basic.css");

html {
    margin: 0px;
    padding: 0px;
    /*background: #FFF url(bg-page.png) top left repeat-x;*/
    background: #FFF;
}

body {
    line-height: 1.5;
    margin: auto;
    padding: 0px;
    font-family: "DejaVu Sans", Arial, Helvetica, sans-serif;
    /* min-width: 59em; */
    max-width: 70em;
    color: {{ theme_textcolor }};
}

div.footer {
    padding: 8px;
    font-size: 11px;
    text-align: center;
    letter-spacing: 0.5px;
}

/* link colors and text decoration */

a:link {
    font-weight: bold;
    text-decoration: none;
    color: #d93900;
}

a:visited {
    font-weight: bold;
    text-decoration: none;
    color: {{ theme_visitedlinkcolor }};
}

a:hover, a:active {
    text-decoration: underline;
    color: {{ theme_hoverlinkcolor }};
}

/* Some headers act as anchors, don't give them a hover effect */

h1 a:hover, h1 a:active {
    text-decoration: none;
    color: {{ theme_headingcolor }};
}

h2 a:hover, h2 a:active {
    text-decoration: none;
    color: {{ theme_headingcolor }};
}

h3 a:hover, h3 a:active {
    text-decoration: none;
    color: {{ theme_headingcolor }};
}

h4 a:hover, h4 a:active {
    text-decoration: none;
    color: {{ theme_headingcolor }};
}

a.headerlink {
    color: #a7ce38;
    padding-left: 5px;
}

a.headerlink:hover {
    color: #a7ce38;
}

/* basic text elements */

div.content {
    margin-top: 20px;
    margin-left: 40px;
    margin-right: 40px;
    margin-bottom: 50px;
    font-size: 0.9em;
}

/* heading and navigation */

div.header {
    position: relative;
    left: 0px;
    top: 0px;
    height: 121px;
    /* background: #eeeeee; */
    padding: 0 40px;
}
div.header .title-wrapper {
    top: 0;
    margin-left: 152px;
    height: 120px;
    display: table;
    overflow: hidden;
}
div.header h1 {
    font-size: 25px;  /* 1.6em;*/
    font-weight: normal;
    letter-spacing: 1px;
    color: {{ theme_headingcolor }};
    border: 0;
    margin: 0;
    padding-top: 0;
    padding-left: 60px;
}
div.header h1 a {
    font-weight: normal;
    color: {{ theme_headingcolor }};
}
div.header h2 {
    font-size: 20px;   /* 1.3em; */
    font-weight: normal;
    letter-spacing: 1px;
    text-transform: uppercase;
    color: #767676;
    border: 0;
    margin: 0;
    padding: 0 0 0 60px;
}

div.header img.rightlogo {
    float: right;
}

div.header img.leftlogo {
    float: left;
    height: 64px;
    margin-top: 28px;
}

div.title {
    font-size: 20px;  /* 1.3em; */
    font-weight: bold;
    color: {{ theme_headingcolor }};
    border-bottom: dotted thin #e0e0e0;
    margin-bottom: 25px;
}
div.topnav {
    /* background: #e0e0e0; */
}
div.topnav p {
    margin-top: 0;
    margin-left: 40px;
    margin-right: 40px;
    margin-bottom: 0px;
    text-align: right;
    font-size: 12px;  /* 0.8em; */
}
div.bottomnav {
    background: #fefefe;
}
div.bottomnav p {
    margin-right: 40px;
    text-align: right;
    font-size: 0.8em;
}

a.uplink {
    font-weight: normal;
}


/* contents box */

table.index {
    margin: 0px 0px 30px 30px;
    padding: 1px;
    border-width: 1px;
    border-style: dotted;
    border-color: #e0e0e0;
}
table.index tr.heading {
    background-color: #e0e0e0;
    text-align: center;
    font-weight: bold;
    font-size: 1.1em;
}
table.index tr.index {
    background-color: #eeeeee;
}
table.index td {
    padding: 5px 20px;
}

table.index a:link, table.index a:visited {
    font-weight: normal;
    text-decoration: none;
    color: {{ theme_linkcolor }};
}
table.index a:hover, table.index a:active {
    text-decoration: underline;
    color: {{ theme_hoverlinkcolor }};
}


/* Haiku User Guide styles and layout */

/* Rounded corner boxes */
/* Common declarations */
div.admonition {
    -webkit-border-radius: 10px;
    -khtml-border-radius: 10px;
    -moz-border-radius: 10px;
    border-radius: 10px;
    border-style: dotted;
    border-width: thin;
    border-color: #dcdcdc;
    padding: 10px 15px 10px 15px;
    margin-bottom: 15px;
    margin-top: 15px;
}
div.note {
    padding: 10px 15px 10px 80px;
    background: #e4ffde url(alert_info_32.png) 15px 15px no-repeat;
    min-height: 42px;
}
div.warning {
    padding: 10px 15px 10px 80px;
    background: #fffbc6 url(alert_warning_32.png) 15px 15px no-repeat;
    min-height: 42px;
}
div.seealso {
    background: #e4ffde;
}

/* More layout and styles */
h1 {
    font-size: 1.3em;
    font-weight: bold;
    color: {{ theme_headingcolor }};
    border-bottom: dotted thin #e0e0e0;
    margin-top: 30px;
}

h2 {
    font-size: 1.2em;
    font-weight: normal;
    color: {{ theme_headingcolor }};
    border-bottom: dotted thin #e0e0e0;
    margin-top: 30px;
}

h3 {
    font-size: 1.1em;
    font-weight: normal;
    color: {{ theme_headingcolor }};
    margin-top: 30px;
}

h4 {
    font-size: 1.0em;
    font-weight: normal;
    color: {{ theme_headingcolor }};
    margin-top: 30px;
}

p {
    text-align: justify;
}
table p {
    text-align: left;
}

p.last {
    margin-bottom: 0;
}

ol {
    padding-left: 20px;
    counter-reset: item;
}

ul {
    padding-left: 5px;
    margin-top: 3px;
}

/*
ol.arabic {
    display: block;
    padding: 0 0 0 1.666em;
    margin-bottom: 3px;
    list-style: none;
    overflow: hidden;
    counter-reset: item;
}

ol.arabic li:before {
    counter-increment: item;
    content: counter(item);
    float: left;
    position: absolute;
    left: -26px;
    text-align: center;
    line-height: 1.3;
    width: 18px; height: 1.3;
}

ol.arabic li {
    margin-right: 44px;
    position: relative;
    text-align: justify;
}
*/

ul li {
    line-height: 1.3;
    -moz-background-clip:border;
    -moz-background-inline-policy:continuous;
    -moz-background-origin:padding;
    background: transparent url(bullet_orange.png) no-repeat scroll left 0.45em;
    list-style-image: none;
    list-style-type: none;
    padding: 0 0 0 1.666em;
    margin-bottom: 3px;
}

td {
    vertical-align: top;
}

tt {
    background-color: #e2e2e2;
    font-size: 1.0em;
    font-family: monospace;
}

pre {
    border-color: #0c3762;
    border-style: dotted;
    border-width: thin;
    margin: 0 0 12px 0;
    padding: 0.8em;
    background-color: #f0f0f0;
    font-size: 15px;
    line-height: 1.3;
}

hr {
    border-top: 1px solid #ccc;
    border-bottom: 0;
    border-right: 0;
    border-left: 0;
    margin-bottom: 10px;
    margin-top: 20px;
}

/* printer only pretty stuff */
@media print {
    .noprint {
        display: none;
    }
    /* for acronyms we want their definitions inlined at print time */
    acronym[title]:after {
        font-size: small;
        content: " (" attr(title) ")";
        font-style: italic;
    }
    /* and not have mozilla dotted underline */
    acronym {
        border: none;
    }
    div.topnav, div.bottomnav, div.header, table.index {
        display: none;
    }
    div.content {
        margin: 0px;
        padding: 0px;
    }
    html {
        background: #FFF;
    }
}

.viewcode-back {
    font-family: "DejaVu Sans", Arial, Helvetica, sans-serif;
}

div.viewcode-block:target {
    background-color: #f4debf;
    border-top: 1px solid #ac9;
    border-bottom: 1px solid #ac9;
    margin: -1px -12px;
    padding: 0 12px;
}
.more {
  display:none;
}
.admonition-todo {
  background-color:#FFC0CB;
}

/* Login and Bug window layout */

/* Mask for background, by default is not display */
#mask {
        display: none;
        background: #000;
        position: fixed; left: 0; top: 0;
        z-index: 10;
        width: 100%; height: 100%;
        opacity: 0.5;
        z-index: 999;
}
/* You can customize to your needs  */
.login-popup, .registration-popup, .bugreport-popup {
        display:none;
        background: #333;
        padding: 10px;
        border: 2px solid #ddd;
        float: left;
        font-size: 1.2em;
        position: fixed;
        bottom: 20%;
        left: 50%;
        z-index: 99999;
        box-shadow: 0px 0px 20px #999; /* CSS3 */
        -moz-box-shadow: 0px 0px 20px #999; /* Firefox */
        -webkit-box-shadow: 0px 0px 20px #999; /* Safari, Chrome */
        border-radius:3px 3px 3px 3px;
        -moz-border-radius: 3px; /* Firefox */
        -webkit-border-radius: 3px; /* Safari, Chrome */
}

.bugreport-link {
        display: none;
}

img.btn_close { /* Position the close button */
        float: right;
        margin: -28px -28px 0 0;
}

fieldset {
        border:none;
}

form.signin .textbox label {
        display:block;
        padding-bottom:7px;
}

form.report .textbox label {
        display:block;
        padding-bottom:7px;
}

form.signin .textbox span {
        display:block;
}

form.report .textbox span {
        display:block;
}

form.signin p, form.signin span {
        color:#999;
        font-size:11px;
        line-height:18px;
}

form.report p, form.report span {
        color:#999;
        font-size:11px;
        line-height:18px;
}

form.signin .textbox input {
        background:#666666;
        border-bottom:1px solid #333;
        border-left:1px solid #000;
        border-right:1px solid #333;
        border-top:1px solid #000;
        color:#fff;
        border-radius: 3px 3px 3px 3px;
        -moz-border-radius: 3px;
        -webkit-border-radius: 3px;
        font:13px Arial, Helvetica, sans-serif;
        padding:6px 6px 4px;
        width:200px;
}

form.report .textbox input {
        background:#666666;
        border-bottom:1px solid #333;
        border-left:1px solid #000;
        border-right:1px solid #333;
        border-top:1px solid #000;
        color:#fff;
        border-radius: 3px 3px 3px 3px;
        -moz-border-radius: 3px;
        -webkit-border-radius: 3px;
        font:13px Arial, Helvetica, sans-serif;
        padding:6px 6px 4px;
        width:200px;
}


form.signin input:-moz-placeholder { color:#bbb; text-shadow:0 0 2px #000; }
form.signin input::-webkit-input-placeholder { color:#bbb; text-shadow:0 0 2px #000;  }

form.report input:-moz-placeholder { color:#bbb; text-shadow:0 0 2px #000; }
form.report input::-webkit-input-placeholder { color:#bbb; text-shadow:0 0 2px #000;  }

/* student page rules */
#pointsBox {
  width: 250px;
  height: 25px;
  margin: 50px auto;
  cursor:pointer;
  /*border: 1px solid #333;*/
  /*background-color: #00ffff;*/
  -moz-border-radius: 10px;
  -webkit-border-radius: 10px;
  border-radius: 10px;
  -moz-box-shadow: 0 0 .5em rgba(0, 0, 0, .8);
  -webkit-box-shadow: 0 0 .5em rgba(0, 0, 0, .8);
  box-shadow: 0 0 .5em rgba(0, 0, 0, .8);
}

span.pointsTitleTxt {
  display:block;
  width:200px;
  height: 100%;
  margin: 0 auto;
}

table.data {
 margin: 1em 1em 1em 0;
 background: whitesmoke;
 border-collapse: collapse;
 -moz-border-radius: 10px;
 -webkit-border-radius: 10px;
 border-radius: 10px;
 -moz-box-shadow: 0 0 .5em rgba(0, 0, 0, .8);
 -webkit-box-shadow: 0 0 .5em rgba(0, 0, 0, .8);
 box-shadow: 0 0 .5em rgba(0, 0, 0, .8);
}
table.data th, table.fancy td {
 border: 1px silver gainsboro;
 padding: 0.2em;
}
table.data th {
 background: gainsboro;
 text-align: left;
}
table.data tr:hover td {
 background: mintcream !important;
}
table.data caption {
 margin-left: inherit;
 margin-right: inherit;
}
table.data tr:hover td {
 background: mintcream !important;
}

code {
  font-size: 15px;
}
div.divdgm {
  width: 90%;
  margin-left: auto;
  margin-right: auto;
}