

/* -- main layout ----------------------------------------------------------- */

body {
    background-color: #87b3ff;
}

div#header {
    clear: both;
    height: 74px;
}

div#main {
    /*float: right;*/
    margin: 0 200px 0 0;
    border-style: dotted;
    border-color: #43597f;
    padding: 10px;
    background-color: #fff;
}

div#main:after {
    content: ".";
    visibility: hidden;
    display: block;
    clear: both;
    height: 0;
    font-size: 0;
}

div#menubar {
    width: 180px;
    float: right;
    padding: 10px;
}

div#footer {
    clear: both;
    font-size: 80%;
}

/* -- header ---------------------------------------------------------------- */

img#header_logo {
    float: left;
    padding-right: 10px;
}

div#header_text {
    font-size: 18px;
    padding-bottom: 28px;
}

div#header_crumbs {
    font-size: 16px;
    padding-top: auto;
}

/* -- footer ---------------------------------------------------------------- */

address {
    display: block;
    padding-top: 2ex;
    font-size: 80%;
}

div#buttons {
    display: block;
    padding-top: 2ex;
    font-size: 80%;
}

div.btn {
    display: inline;
}

/* -- menubar --------------------------------------------------------------- */

span.nav-item {
    display: block;
}

span.nav-header {
    font-weight: bold;
    display: block;
}

span.hidden {
    display: none;
}

/* -- imagebox -------------------------------------------------------------- */

div.imagebox {
    width: 180px;
    float: left;
    border-style: solid;
    border-width: 1px;
    border-color: #43597f;
    text-align: center;
    padding-top: 10px;
    margin: 10px;
}

h1 {
    clear: left;
}

h2 {
    clear:left;
}

address {
    clear: left;
}

object[type="image/svg+xml"] {
    overflow: hidden;
}

div.figure {
    border-style: solid;
    border-width: 1px;
    border-color: #43597f;
    text-align: center;
    padding-top: 10px;
    margin: 10px;
    font-size: 80%;
}

div.figure.align-right {
    float: right;
    clear: right;
}

div.figure.align-left {
    float: left;
    clear: left;
}

div.gallery.figure {
    padding-top: 8px;
    width: 176px;
    height: 220px;
    margin: 0px;
    float: left;
    clear: none;
}

div.long-gallery.figure {
    padding-top: 8px;
    width: 176px;
    height: 320px;
    margin: 0px;
    float: left;
    clear: none;
}

/* -- Code blocks ----------------------------------------------------------- */

pre.literal-block {

    width: 95%;
    overflow: auto;
    border-style: dotted;
    border-color: #43597f;
    border-width: 1px;
    padding: 10px;
    margin-left: 1%;
    background-color: #eee;
}

/* -- Misc article components ----------------------------------------------- */

blockquote.epigraph {
    text-align: right;
    font-style: italic;
}

div.contents {
    width: 12em;
    float: right;
    border-style: solid;
    border-width: 1px;
    border-color: #43597f;
    padding-left: 10px;
    padding-right: 10px;
    margin-left: 10px;
    margin-right: 10px;
    margin-bottom: 10px;
    background-color: #eee;
    font-size: 80%;
}

p.topic-title {
    font-weight: bold;
}

div.contents ul {
    padding-left: 1em;
    list-style-type: none;
}

div.contents ul.simple {
    padding-left: 0;
    list-style-type: none;
}

div.admonition {
    border-style: solid;
    border-width: 1px;
    border-color: #43597f;
    padding-left: 10px;
    padding-right: 10px;
    margin-left: 10px;
    margin-right: 10px;
    margin-bottom: 10px;
    background-color: #eee;
}

p.admonition-title {
    font-weight: bold;
}

table.footnote {
    width: 90%;
    font-size: 80%;
    margin-left: 10%;
}

hr {
    clear: both;
    width: 80%;
    border: 0;
    height: 1px;
    background: #87b3ff;
    background-image: linear-gradient(to right, #eef, #88c, #eef)
}
