@font-face {
    font-family: 'Noto Sans';
    font-weight: 400;
    font-style: normal;
    src: url("../fonts/Noto-Sans-regular/Noto-Sans-regular.eot");
}

@font-face {
    font-family: 'Noto Sans';
    font-weight: 700;
    font-style: normal;
    src: url("../fonts/Noto-Sans-700/Noto-Sans-700.eot");
    src: url("../fonts/Noto-Sans-700/Noto-Sans-700.eot?#iefix") format("embedded-opentype"), local("Noto Sans Bold"), local("Noto-Sans-700"), url("../fonts/Noto-Sans-700/Noto-Sans-700.woff2") format("woff2"), url("../fonts/Noto-Sans-700/Noto-Sans-700.woff") format("woff"), url("../fonts/Noto-Sans-700/Noto-Sans-700.ttf") format("truetype"), url("../fonts/Noto-Sans-700/Noto-Sans-700.svg#NotoSans") format("svg")
}

@font-face {
    font-family: 'Noto Sans';
    font-weight: 400;
    font-style: italic;
    src: url("../fonts/Noto-Sans-italic/Noto-Sans-italic.eot");
    src: url("../fonts/Noto-Sans-italic/Noto-Sans-italic.eot?#iefix") format("embedded-opentype"), local("Noto Sans Italic"), local("Noto-Sans-italic"), url("../fonts/Noto-Sans-italic/Noto-Sans-italic.woff2") format("woff2"), url("../fonts/Noto-Sans-italic/Noto-Sans-italic.woff") format("woff"), url("../fonts/Noto-Sans-italic/Noto-Sans-italic.ttf") format("truetype"), url("../fonts/Noto-Sans-italic/Noto-Sans-italic.svg#NotoSans") format("svg")
}

@font-face {
    font-family: 'Noto Sans';
    font-weight: 700;
    font-style: italic;
    src: url("../fonts/Noto-Sans-700italic/Noto-Sans-700italic.eot");
    src: url("../fonts/Noto-Sans-700italic/Noto-Sans-700italic.eot?#iefix") format("embedded-opentype"), local("Noto Sans Bold Italic"), local("Noto-Sans-700italic"), url("../fonts/Noto-Sans-700italic/Noto-Sans-700italic.woff2") format("woff2"), url("../fonts/Noto-Sans-700italic/Noto-Sans-700italic.woff") format("woff"), url("../fonts/Noto-Sans-700italic/Noto-Sans-700italic.ttf") format("truetype"), url("../fonts/Noto-Sans-700italic/Noto-Sans-700italic.svg#NotoSans") format("svg")
}

.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 {
    background-color: #fff;
    padding: 16px; /* reduced top padding so header sits near top */
    font: 14px/1.5 "Noto Sans", "Helvetica Neue", Helvetica, Arial, sans-serif;
    color: #727272;
    font-weight: 400
}

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

p,
ul,
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 {
    max-width: 1100px;
    margin: 0 auto;
    width: 100%;
    display: block;
}

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
}

img {
    max-width: 100%
}

.img {
    margin-bottom: 14px;
    width: 200px;
}

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;
    -webkit-font-smoothing: subpixel-antialiased;
}

header { position: relative; }

.top-nav {
    list-style: none;
    margin: 0;
    padding: 0;
    display: flex;
    gap: 6px;
    align-items: center;
    margin-left: 6px;
}

.top-nav {
    list-style: none;
    margin: 0;
    padding: 0;
    display: flex;
    gap: 12px;
    align-items: center;
    margin-left: 8px;
}
.top-nav li a {
    color: #333333; /* dark grey */
    text-decoration: none;
    font-weight: 700;
        font-size: 28px; /* match site-brand */
    padding: 8px 10px;
}

/* Ensure About and Blog always look identical (size, weight, color) */
.site-header-inner .site-brand,
.site-header-inner .top-nav li a {
    color: #333333;
    font-weight: 700;
    font-size: 28px;
    line-height: 1;
}
.site-header-inner .top-nav li a:visited,
.site-header-inner .site-brand:visited {
    color: #333333;
}

/* Site header (top bar) */
.site-header {
    position: fixed;
    top: 0;
    left: 0;
    right: 0;
    height: 76px; /* allow larger header to accommodate bigger brand size */
    background: #fff;
    border-bottom: 1px solid #e5e5e5;
    z-index: 1000;
}

.site-header-inner {
    max-width: 1100px;
    margin: 0 auto;
    height: 76px;
    display: flex;
    align-items: center;
    justify-content: flex-start;
    padding: 0 20px;
}

.site-header-right { margin-left: auto; }

.site-brand {
    font-weight: 700;
    color: #222;
    text-decoration: none;
    font-size: 28px;
    font-weight: 700;
    color: #333333;
    margin-right: 12px;
}

/* space page content below the fixed header */
.wrapper { padding-top: 92px; }

.contacts {
    list-style: none;
    padding: 0;
    margin: 10px 0 0 0;
}

.contacts li {
    margin: 6px 0;
}

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

.contacts img { vertical-align: middle; margin-right: 8px; }

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: 14px;
    display: block;
    color: #222
}

section {
    margin-left: 300px;
    padding-bottom: 50px;
    max-width: calc(100% - 320px);
}

small {
    font-size: 11px
}

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

footer {
    width: 100%;
    float: none;
    clear: both;
    text-align: center;
    margin-top: 40px;
    -webkit-font-smoothing: subpixel-antialiased
}

@media print,
screen and (max-width: 960px) {
    div.wrapper {
        width: auto;
        margin: 0;
        flex-direction: column
    }

    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: static;
    }
}

@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
    }
}

#export-btn {
    display: inline-flex;
    align-items: center;
    color: rgb(17 24 39);
    font-weight: 500;
    font-size: .875rem;
    line-height: 1.25rem;
    padding-block: .625rem;
    padding-inline: 1.25rem;
    background-color: rgb(255 255 255);
    border: 1px solid rgb(229, 231, 235);
    -webkit-appearance: button;
    background-image: none;
    border-radius: .5rem;
    cursor: pointer;
    & svg {
      width: .875rem;
      height: .875rem;
      margin-inline-end: .5rem;
    }
  }

/* Publications styling */
.publications h3 {
    margin-top: 18px;
    margin-bottom: 8px;
    font-size: 16px;
    color: #222;
    border-bottom: 1px solid #e6e6e6;
    padding-bottom: 6px;
}
.pub-list {
    list-style: none;
    margin: 10px 0 20px 0;
    padding: 0;
}
.pub-list li {
    margin: 12px 0;
}
.pub-title {
    font-weight: 700;
    color: #000;
}
.pub-authors {
    margin-top: 4px;
    color: #333;
}
.pub-highlight {
    color: #222;
    font-weight: 700;
}
.pub-meta {
    font-size: 13px;
    color: #555;
    margin-top: 4px;
}

/* Justify main content paragraphs and list items for tidy two-sided alignment */
section p,
section ul,
section ul li,
.pub-authors,
.pub-meta {
    text-align: justify;
    text-justify: inter-word;
}

/* Keep publication titles left-aligned for readability */
.pub-title {
    text-align: left;
}