.aside {
    display: block;
    padding: 0 20px 10px;
    border: black solid thin;
    margin: 25px
    }
.bibtexnumber {
    display: table-cell;
    text-align: right;
    vertical-align: inherit;
    padding: 1px
    }
.calibre {
    display: block;
    font-size: 1em;
    padding-left: 0;
    padding-right: 0;
    margin: 0 5pt
    }
.calibre1 {
    display: block;
    margin: 1em 0
    }
.calibre10 {
    display: block;
    font-size: 1.41667em;
    line-height: 1.2
    }
.calibre11 {
    display: block;
    font-size: 1em;
    line-height: 1.2;
    text-align: center
    }
.calibre12 {
    font-size: 2em;
    line-height: 1.2
    }
.calibre13 {
    font-size: 0.83333em;
    line-height: 1.2
    }
.calibre14 {
    display: block;
    line-height: 1.2
    }
.calibre15 {
    display: block;
    font-size: 1.41667em;
    line-height: 1.2;
    text-align: center
    }
.calibre16 {
    height: auto;
    width: auto
    }
.calibre17 {
    font-size: 0.75em
    }
.calibre18 {
    font-size: 0.55556em
    }
.calibre19 {
    display: block;
    font-size: 0.75em
    }
.calibre2 {
    display: block
    }
.calibre20 {
    display: block;
    font-size: 1.125em;
    font-weight: bold;
    line-height: 1.2;
    margin: 1em 0
    }
.calibre21 {
    display: block;
    font-family: monospace;
    font-size: 0.75em;
    white-space: pre-wrap;
    margin: 1em 0
    }
.calibre22 {
    display: block;
    list-style-type: disc;
    margin-bottom: 1em;
    margin-right: 0;
    margin-top: 1em
    }
.calibre23 {
    display: list-item
    }
.calibre24 {
    font-size: 1.66667em;
    line-height: 1.2
    }
.calibre25 {
    font-size: 0.675em;
    line-height: 1.2
    }
.calibre26 {
    font-size: 1.25926em;
    line-height: 1.2
    }
.calibre27 {
    font-size: 1em
    }
.calibre28 {
    display: block;
    font-weight: bold;
    margin: 1.33em 0
    }
.calibre29 {
    font-family: monospace;
    font-size: 1.5em;
    line-height: 1.2
    }
.calibre3 {
    display: block;
    font-size: 1.41667em;
    font-weight: bold;
    line-height: 1.2;
    margin: 0.83em 0
    }
.calibre30 {
    font-weight: bold
    }
.calibre31 {
    color: gray;
    display: block;
    height: 2px;
    border: currentColor inset 1px;
    margin: 0.5em auto
    }
.calibre32 {
    display: block;
    font-size: 0.75em;
    font-weight: bold;
    margin: 1.67em 0
    }
.calibre33 {
    color: white
    }
.calibre34 {
    border-collapse: collapse;
    border-spacing: 2px;
    display: table;
    margin-bottom: 0;
    margin-top: 0;
    text-indent: 0
    }
.calibre35 {
    display: table-cell;
    font-weight: bold;
    vertical-align: inherit;
    padding: 1px
    }
.calibre36 {
    display: table-cell;
    text-align: inherit;
    vertical-align: inherit;
    padding: 1px
    }
.calibre37 {
    display: table-cell;
    text-align: inherit;
    vertical-align: inherit;
    padding: 1px;
    border-bottom: black solid thin
    }
.calibre38 {
    display: block;
    list-style-type: decimal;
    margin-bottom: 1em;
    margin-right: 0;
    margin-top: 1em
    }
.calibre39 {
    display: table-cell;
    text-align: inherit;
    vertical-align: inherit;
    padding: 1px;
    border-top: black solid thin
    }
.calibre4 {
    line-height: 1.2
    }
.calibre40 {
    font-size: 0.77778em;
    line-height: normal;
    vertical-align: super
    }
.calibre41 {
    font-size: 0.75em;
    line-height: normal;
    vertical-align: super
    }
.calibre42 {
    font-size: 1.5em;
    line-height: 1.2
    }
.calibre43 {
    font-size: 0.75em;
    line-height: normal;
    vertical-align: sub
    }
.calibre44 {
    color: #fff
    }
.calibre45 {
    font-family: monospace;
    font-style: italic
    }
.calibre46 {
    font-family: sans-serif
    }
.calibre47 {
    display: block;
    font-style: italic
    }
.calibre48 {
    border-collapse: separate;
    border-spacing: 2px;
    display: table;
    margin-bottom: 0;
    margin-top: 0;
    text-indent: 0
    }
.calibre49 {
    font-size: 1.92857em;
    line-height: 1.2
    }
.calibre5 {
    display: block;
    font-size: 2em;
    font-weight: bold;
    line-height: 1.2;
    margin: 0.67em 0
    }
.calibre50 {
    font-size: 0.85em;
    line-height: 1.2
    }
.calibre51 {
    font-size: 1.125em;
    line-height: 1.2
    }
.calibre52 {
    font-size: 1.41667em;
    line-height: 1.2
    }
.calibre53 {
    display: block;
    font-size: 1em
    }
.calibre6 {
    font-style: italic;
    line-height: 1.2
    }
.calibre7 {
    font-style: italic
    }
.calibre8 {
    display: block
    }
.calibre9 {
    display: block;
    text-align: center
    }
.code {
    font-family: monospace;
    font-size: 0.75em
    }
.code1 {
    font-family: monospace;
    font-size: 1em;
    line-height: 1.2
    }
.code2 {
    font-family: monospace;
    font-size: 1em
    }
.code3 {
    font-family: monospace;
    font-size: 0.77778em
    }
.code4 {
    font-family: monospace;
    font-size: 0.91667em;
    line-height: 1.2
    }
.comment {
    color: rgb(76, 76, 76);
    font-family: monospace
    }
.literal {
    color: rgb(205, 123, 0)
    }
.note {
    display: block;
    padding: 0 20px 5px;
    border-left: black solid thin
    }
.output {
    color: rgb(90, 0, 0);
    font-family: monospace
    }
.quotedstring {
    color: rgb(205, 123, 0);
    font-family: monospace
    }
.rm {
    font-family: serif
    }
.texttt {
    font-family: monospace
    }
.topline {
    display: table-row;
    vertical-align: middle
    }
.typename {
    color: rgb(103, 0, 154);
    font-family: monospace
    }
.typename1 {
    color: rgb(103, 0, 154)
    }
.vem {
    color: rgb(0, 0, 230);
    font-family: monospace
    }