/* Import Google Fonts */
@import url('https://fonts.googleapis.com/css2?family=Noto+Sans:ital,wght@0,400;0,700;1,400;1,700&display=swap');

.profile-pic {
    /* position: relative; */
    /* max-width: 130px; */
    /* max-height: 130px; */
    /* width: auto; */
    /* height: auto; */
    /* overflow: hidden; */
    /* display: inline-block; */


    background-size: cover;
    /* margin: -31px; */
    /* margin-left: -7px; */
    border: 6px solid rgba(77, 77, 77, 0.3);
    border-radius: 50% !important;
}

.sections {
    background-color: rgba(77, 77, 77, 0.15);
}

.highlight table td {
    padding: 5px
}

.highlight table pre {
    margin: 0
}

.highlight .cm {
    color: #999988;
    font-style: italic
}

.highlight .cp {
    color: #999999;
    font-weight: bold
}

.highlight .c1 {
    color: #999988;
    font-style: italic
}

.highlight .cs {
    color: #999999;
    font-weight: bold;
    font-style: italic
}

.highlight .c,
.highlight .cd {
    color: #999988;
    font-style: italic
}

.highlight .err {
    color: #a61717;
    background-color: #e3d2d2
}

.highlight .gd {
    color: #000000;
    background-color: #ffdddd
}

.highlight .ge {
    color: #000000;
    font-style: italic
}

.highlight .gr {
    color: #aa0000
}

.highlight .gh {
    color: #999999
}

.highlight .gi {
    color: #000000;
    background-color: #ddffdd
}

.highlight .go {
    color: #888888
}

.highlight .gp {
    color: #555555
}

.highlight .gs {
    font-weight: bold
}

.highlight .gu {
    color: #aaaaaa
}

.highlight .gt {
    color: #aa0000
}

.highlight .kc {
    color: #000000;
    font-weight: bold
}

.highlight .kd {
    color: #000000;
    font-weight: bold
}

.highlight .kn {
    color: #000000;
    font-weight: bold
}

.highlight .kp {
    color: #000000;
    font-weight: bold
}

.highlight .kr {
    color: #000000;
    font-weight: bold
}

.highlight .kt {
    color: #445588;
    font-weight: bold
}

.highlight .k,
.highlight .kv {
    color: #000000;
    font-weight: bold
}

.highlight .mf {
    color: #009999
}

.highlight .mh {
    color: #009999
}

.highlight .il {
    color: #009999
}

.highlight .mi {
    color: #009999
}

.highlight .mo {
    color: #009999
}

.highlight .m,
.highlight .mb,
.highlight .mx {
    color: #009999
}

.highlight .sb {
    color: #d14
}

.highlight .sc {
    color: #d14
}

.highlight .sd {
    color: #d14
}

.highlight .s2 {
    color: #d14
}

.highlight .se {
    color: #d14
}

.highlight .sh {
    color: #d14
}

.highlight .si {
    color: #d14
}

.highlight .sx {
    color: #d14
}

.highlight .sr {
    color: #009926
}

.highlight .s1 {
    color: #d14
}

.highlight .ss {
    color: #990073
}

.highlight .s {
    color: #d14
}

.highlight .na {
    color: #008080
}

.highlight .bp {
    color: #999999
}

.highlight .nb {
    color: #0086B3
}

.highlight .nc {
    color: #445588;
    font-weight: bold
}

.highlight .no {
    color: #008080
}

.highlight .nd {
    color: #3c5d5d;
    font-weight: bold
}

.highlight .ni {
    color: #800080
}

.highlight .ne {
    color: #990000;
    font-weight: bold
}

.highlight .nf {
    color: #990000;
    font-weight: bold
}

.highlight .nl {
    color: #990000;
    font-weight: bold
}

.highlight .nn {
    color: #555555
}

.highlight .nt {
    color: #000080
}

.highlight .vc {
    color: #008080
}

.highlight .vg {
    color: #008080
}

.highlight .vi {
    color: #008080
}

.highlight .nv {
    color: #008080
}

.highlight .ow {
    color: #000000;
    font-weight: bold
}

.highlight .o {
    color: #000000;
    font-weight: bold
}

.highlight .w {
    color: #bbbbbb
}

.highlight {
    background-color: #f8f8f8
}

body {
    padding: 30px;
    font-family: 'Noto Sans', sans-serif;
    font-size: 14px;
    line-height: 1.2;
    color: #333;
    background-color: #fdfdfd;
}

h1,
h2,
h3,
h4,
h5,
h6 {
    color: #222;
    margin: 0 0 20px
}



p,
ol,
table,
pre,
dl {
    margin: 0 0 20px
}

h1,
h2,
h3 {
    line-height: 1.1
}

h1 {
    font-size: 28px
}

h2 {
    color: #393939
}

h3,
h4,
h5,
h6 {
    color: #494949
}

a {
    color: #267CB9;
    text-decoration: none
}

a:hover,
a:focus {
    color: #069;
    font-weight: bold
}

a small {
    font-size: 11px;
    color: #777;
    margin-top: -0.3em;
    display: block
}

a:hover small {
    color: #777
}

.wrapper {
    width: 960px;
    margin: 0 auto;
    /* border: 2px solid blue; */
}

blockquote {
    border-left: 1px solid #e5e5e5;
    margin: 0;
    padding: 0 0 0 20px;
    font-style: italic
}

code,
pre {
    font-family: Monaco, Bitstream Vera Sans Mono, Lucida Console, Terminal, Consolas, Liberation Mono, DejaVu Sans Mono, Courier New, monospace;
    color: #333
}

pre {
    padding: 8px 15px;
    background: #f8f8f8;
    border-radius: 5px;
    border: 1px solid #e5e5e5;
    overflow-x: auto
}

table {
    width: 100%;
    border-collapse: collapse
}

th,
td {
    text-align: left;
    padding: 5px 10px;
    border-bottom: 1px solid #e5e5e5
}



dt {
    color: #444;
    font-weight: 700
}

th {
    color: #444
}


.hidden-table {
    width: 100%;
    border-collapse: collapse;
    background-color: #f9f9f9;
    border: 0px solid #ccc;
}

.hidden-table th,
.hidden-table td {
    padding: 0px 0px;
    border: 0px solid #ddd;
}

.hidden-table th {
    background-color: #fefefe;
    font-weight: bold;
}

.index-table td {
    padding: 3px 0px;
}

.papers-table td {
    padding: 5px 0px;
    border-bottom: 1px solid #e5e5e5;
    vertical-align: top;
}



img {
    max-width: 100%
}

kbd {
    background-color: #fafbfc;
    border: 1px solid #c6cbd1;
    border-bottom-color: #959da5;
    border-radius: 3px;
    box-shadow: inset 0 -1px 0 #959da5;
    color: #444d56;
    display: inline-block;
    font-size: 11px;
    line-height: 10px;
    padding: 3px 5px;
    vertical-align: middle
}

header {
    width: 260px;
    float: left;
    position: fixed;
    /* border: 2px solid red; */
    -webkit-font-smoothing: subpixel-antialiased
}

ul.compact {
    margin: 0;
}

ul.downloads {
    list-style: none;
    height: 40px;
    padding: 0;
    background: #f4f4f4;
    border-radius: 5px;
    border: 1px solid #e0e0e0;
    width: 270px
}

.downloads li {
    width: 89px;
    float: left;
    border-right: 1px solid #e0e0e0;
    height: 40px
}

.downloads li:first-child a {
    border-radius: 5px 0 0 5px
}

.downloads li:last-child a {
    border-radius: 0 5px 5px 0
}

.downloads a {
    line-height: 1;
    font-size: 11px;
    color: #676767;
    display: block;
    text-align: center;
    padding-top: 6px;
    height: 34px
}

.downloads a:hover,
.downloads a:focus {
    color: #675C5C;
    font-weight: bold
}

.downloads ul a:active {
    background-color: #f0f0f0
}

strong {
    color: #222;
    font-weight: 700
}

.downloads li+li+li {
    border-right: none;
    width: 89px
}

.downloads a strong {
    font-size: 12px;
    display: block;
    color: #222
}

section {
    width: 670px;
    float: right;
    padding-bottom: 50px;
    /* border: 2px solid green; */
}

small {
    font-size: 11px;
    color: #069;
}

hr {
    border: 0;
    background: #e5e5e5;
    height: 1px;
    margin: 0 0 20px
}

footer {
    width: 270px;
    float: left;
    position: fixed;
    bottom: 0px;
    text-align: left;
    -webkit-font-smoothing: subpixel-antialiased
}

@media print,
screen and (max-width: 1060px),
screen and (max-height: 750px) {
    div.wrapper {
        width: auto;
        margin: 0
    }

    header,
    section,
    footer {
        float: none;
        position: static;
        width: auto
    }

    header {
        padding-right: 320px
    }

    section {
        border: 1px solid #e5e5e5;
        border-width: 1px 0;
        padding: 20px 0;
        margin: 0 0 20px
    }

    header a small {
        display: inline
    }

    header ul {
        position: absolute;
        right: 50px;
        top: 52px
    }
}

@media print,
screen and (max-width: 720px) {
    body {
        word-wrap: break-word
    }

    header {
        padding: 0
    }

    header ul,
    header p.view {
        position: static
    }

    pre,
    code {
        word-wrap: normal
    }
}

@media print,
screen and (max-width: 480px) {
    body {
        padding: 15px
    }

    .downloads {
        width: 99%
    }

    .downloads li,
    .downloads li+li+li {
        width: 33%
    }
}

@media print {
    body {
        padding: 0.4in;
        font-size: 12pt;
        color: #444
    }
}