.breakbefore {
    color: rgb(0, 82, 136);
    display: block;
    font-family: sans-serif;
    font-size: 1.125em;
    font-weight: bold;
    line-height: 1.2;
    margin: 1em 0
    }
.calibre {
    display: block;
    font-size: 1em;
    padding-left: 0;
    padding-right: 0;
    margin: 0 5pt
    }
.calibre1 {
    color: rgb(0, 82, 136);
    display: block;
    font-family: sans-serif;
    font-size: 1.41667em;
    font-weight: bold;
    line-height: 1.2;
    margin: 0.83em 0
    }
.calibre2 {
    font-weight: bold
    }
.calibre3 {
    font-weight: bold;
    height: auto;
    width: auto
    }
.calibre4 {
    color: rgb(0, 82, 136);
    display: block;
    font-family: sans-serif;
    font-size: 2em;
    font-weight: bold;
    line-height: 1.2;
    margin: 0.67em 0
    }
.calibre5 {
    font-family: monospace
    }
.calibre6 {
    color: rgb(0, 82, 136);
    display: block;
    font-family: sans-serif;
    font-size: 1.125em;
    font-weight: bold;
    height: auto;
    line-height: 1.2;
    width: auto;
    margin: 1em 0
    }
.calibre7 {
    display: list-item
    }
.calibre8 {
    display: block;
    margin: 1em
    }
.calibre9 {
    font-style: italic
    }
.calibre10 {
    height: auto;
    width: 817px
    }
.calibre11 {
    height: auto;
    width: 415px
    }
.calibre12 {
    height: auto;
    width: 359px
    }
.calibre13 {
    display: block;
    list-style-type: decimal;
    margin-bottom: 1em;
    margin-right: 0;
    margin-top: 1em
    }
.calibre14 {
    height: auto;
    width: auto
    }
.codeblock {
    background-color: rgb(211, 211, 211);
    display: block;
    font-family: monospace;
    white-space: pre-wrap;
    margin: 1em 0
    }
.copyright {
    display: block;
    margin: 1em 0
    }
.credits {
    display: block;
    list-style-type: disc;
    margin-bottom: 1em;
    margin-right: 0;
    margin-top: 1em
    }
.page-frontmatter {
    display: block
    }
.sigil_not_in_toc {
    color: rgb(0, 82, 136);
    display: block;
    font-family: sans-serif;
    font-weight: bold;
    margin: 1.33em 0
    }
.tip {
    background-color: rgb(173, 216, 230);
    display: block
    }