/*@import url(http://fonts.googleapis.com/css?family=Open+Sans:400,700|Inconsolata:400,700);*/

html {
    margin: 0;
    padding: 0;
}

body {
    margin: 0 auto;
    padding: 0;
    padding-top: 0px;
    padding-bottom: 128px;
    
    /* width is now set in build.py (template.html: $style$)
    /*width: 600px;*/
    /*width: 775px;*/
    
    /*font-family: 'Open Sans', sans-serif;*/
    /*font-family: 'Lato', sans-serif;*/
    /*font-family: 'Questrial', sans-serif;*/
    font-family: 'Merriweather', serif;
    font-size: 12px;
    /*line-height: 20px;*/
    counter-reset: h4counter;
}



a {
    color: #202080;
    text-decoration: none;
}

h1, h2, h3 {
    font-family: 'Questrial', sans-serif;
    /*font-family: 'Ubuntu', sans-serif;*/
}

h1 {
    font-size: 20px;
    margin-top: 64px;
    margin-bottom:0px;
    padding-bottom:0px;
    /*line-height: 20px;*/
    /*margin: 144px 0 0px 0;*/
    color: #202080;
}

hr {
    display: block;
    background: transparent;
    border: none;
    border-top: solid 2px #C0C0FF; /* #202080; */
    height: 1px;
    width: 100%;
}

hr.h1 {
    border-top: solid 2px #202080;
    margin-top:0px;
    margin-bottom: 2px;
}

hr.h3 {
    border-top: solid 2px #C0C0FF;
    margin-top:2px;
    margin-bottom: 0px;
    padding-bottom: 0px;
}

h2 {
    font-size: 18px;
    /*line-height: 16px;*/
    margin: 0 0 24px 0;
    color: #202080;
    text-align: right;
}

/* #C0C0FF; */

h3 {
    font-size: 18px;
    /*line-height: 12px;*/
    margin: 48px 0 0px 0;
    color: #202080;
}


span.highlight {
    /*color: #82A3CF;*/
    background-color: #C0FFFF;
}
span.highlight span.highlight {
    /*color: #FFFF00;*/
    background-color: #FFFFC0;
}

span.underline {
    border-bottom: 1px solid #000000;
}

div.highlight {
    background-color: #FFFFC0;
    border: 1px dashed;
}

/* http://www.2ality.com/2012/01/numbering-headingshtml.html */
h4 {
    font-size: 12px;
    font-weight: normal;
    /*line-height: 16px;*/
    counter-reset: h5counter;
    padding-left: 18px;
}
h4:before {
    font-size: 12px;
    /*line-height: 16px;*/
    content: counter(h4counter) ".\0000a0\0000a0";
    counter-increment: h4counter;
    margin-left: -18px;
    width: 18px;
}

h4 span {
    position: relative;
    left: 0px;
    padding: 0px;
    margin: 0px;
    text-indent: 0px;
    
    /*text-indent: 0px;
    position: relative;*/
}
h5 {
    font-size: 12px;
    font-weight: normal;
    padding-left: 28px;
}
h5:before {
    font-size: 12px;
    content: counter(h4counter) "." counter(h5counter) ".\0000a0\0000a0";
    counter-increment: h5counter;
    margin-left: -28px;
    width: 28px;
}
h5 span {
    position: relative;
    left: 0px;
    padding: 0px;
    margin: 0px;
    text-indent: 0px;
    
    /*text-indent: 0px;
    position: relative;*/
}

hr.pagebreak {
    display: block;
    background: transparent;
    border: none;
    border-top: dashed 2px #C0C0C0;
    height: 1px;
    width: 100%;
    page-break-before: always;
}

p {
    /*margin: 0;*/
    padding: 0;
    margin: 12px 0 12px 0;
}

ol, ul, li {
    margin: 0;
    margin-top: 12px;
    margin-bottom: 12px;
    margin-left: 8px;
    padding-left:4px;
}

ol.tight, ul.tight, ol.tight li, ul.tight li {
    margin-top: 2px;
    margin-bottom: 2px;
}

div.tightlist {
     margin: 12px 0px 12px 0px;
}

/*ul ul {
    margin: 0 0 0 0;
}*/

/*pre {
    margin: 0 0 24px 0;
}

code {
    font-family: 'Ubuntu Mono',;
    font-size: 13px;
}*/

table {
    margin: 6px 0 6px 0; /* 12px 0 12px 0;*/
    border-collapse: collapse;
}

tr {
    padding: 0;
    margin: 0;
}

th {
    text-align: center;
    padding: 0;
    margin: 0;
    padding-left: 8px;
    padding-right: 8px;
    vertical-align: top;
    padding-top: 6px;
    padding-bottom: 6px;
}

td {
    text-align: left;
    padding: 0;
    margin: 0;
    padding-left: 8px;
    padding-right: 8px;
    vertical-align: top;
    padding-top: 6px;
    padding-bottom: 6px;
}

table.edges tr, table.edges td, table.edges th {
    border: 1px solid #C0C0D0;
}


pre {
    /*font-family: Inconsolata, monospace;*/
    font-family: 'Ubuntu Mono', monospace;
    font-size: 12px;
    line-height: 14px;
    width: 80%;
    /*max-height: 360px;*/
    margin-left: auto;
    margin-right: auto;
    margin-top: 20px;
    margin-bottom: 20px;
    padding: 10px;
    overflow: auto;
    /*line-height: 40px;*/
}

pre ol, pre ul, pre li {
    margin: 0;
    /*margin-top: 4px;
    margin-bottom: 4px;
    margin-left: 8px;*/
    padding: 0;
    margin-left: 16px;
    /*padding-left:4px;*/
}


code {
    color: #404040;
    /*font-family: Inconsolata, monospace;*/
    font-family: 'Ubuntu Mono', monospace;
    font-style: normal;
    font-weight: normal;
    /*font-size: 12px;
    line-height: 12px;*/
    border: 1px solid #F0F0F0;
    padding: 1px 4px;
    background-color: #F8F8F8;
    white-space: pre;
}


blockquote {
    border-left: 2px solid #C0C0C0;
    padding-left: 5px;
}

div.centerimg img {
    display: block;
    margin-left: auto;
    margin-right: auto;
}




@media print {
    body {
        margin: 0 auto;
        /*margin: 72px 72px;*/
        padding: 0;
        padding-top: 0px;
        padding-bottom: 0px;
    }
    @page {
        margin: 48px 48px 48px 48px;
    }
    hr.pagebreak {
        border: 0;
        height: 0px;
        padding-top: -1px;
        padding-bottom: 1px;
    }
}