:root {
    --bg: #ffffff;
    --bg-secondary: #f8f9fa;
    --text: #1a1a1a;
    --text-muted: #6b7280;
    --accent: #2563eb;
    --accent-hover: #1d4ed8;
    --border: #e5e7eb;
    --code-bg: #f6f8fa;
    --markdown-strong-color: var(--text);
    --sidenote-width: 240px;
    --sidenote-gap: 1.75rem;
    --max-width: 900px;
    --content-width: 650px;
    --radius: 6px;
    --shadow: 0 1px 3px rgba(0,0,0,0.1);
}

[data-theme="dark"] {
    --bg: #111111;
    --bg-secondary: #1a1a1a;
    --text: #e5e5e5;
    --text-muted: #9ca3af;
    --accent: #60a5fa;
    --accent-hover: #93c5fd;
    --border: #2d2d2d;
    --code-bg: #1e1e1e;
    --markdown-strong-color: var(--accent);
}

*, *::before, *::after {
    box-sizing: border-box;
    margin: 0;
    padding: 0;
}

html {
    scroll-behavior: smooth;
}

body {
    font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, 
                 "Helvetica Neue", Arial, sans-serif;
    font-size: 16px;
    line-height: 1.6;
    color: var(--text);
    background: var(--bg);
    min-height: 100vh;
    display: flex;
    flex-direction: column;
}

a {
    color: var(--accent);
    text-decoration: none;
}

a:hover {
    text-decoration: underline;
}


.container {
    max-width: var(--max-width);
    margin: 0 auto;
    padding: 0 1.5rem;
    width: 100%;
}

main {
    flex: 1;
    padding: 2rem 0;
}


.navbar {
    position: sticky;
    top: 0;
    background: var(--bg);
    border-bottom: 1px solid var(--border);
    z-index: 100;
    backdrop-filter: blur(10px);
    background: rgba(255, 255, 255, 0.9);
}

[data-theme="dark"] .navbar {
    background: rgba(17, 17, 17, 0.9);
}

.nav-container {
    display: flex;
    justify-content: space-between;
    align-items: center;
    height: 60px;
}

.nav-brand {
    font-weight: 600;
    color: var(--text);
    text-decoration: none;
    font-size: 1.1rem;
}

.nav-brand:hover {
    text-decoration: none;
    color: var(--accent);
}

.nav-links {
    display: flex;
    align-items: center;
    gap: 1.5rem;
}

.nav-link {
    color: var(--text-muted);
    text-decoration: none;
    font-size: 0.95rem;
    transition: color 0.2s;
}

.nav-link:hover {
    color: var(--text);
    text-decoration: none;
}

.theme-toggle {
    background: none;
    border: none;
    cursor: pointer;
    font-size: 1.2rem;
    color: var(--text-muted);
    padding: 0.25rem;
    display: flex;
    align-items: center;
    justify-content: center;
    transition: color 0.2s;
}

.theme-toggle:hover {
    color: var(--text);
}

[data-theme="light"] .icon-moon { display: none; }
[data-theme="dark"] .icon-sun { display: none; }


.footer {
    border-top: 1px solid var(--border);
    padding: 1.5rem 0;
    text-align: center;
    color: var(--text-muted);
    font-size: 0.875rem;
    margin-top: auto;
}

.footer-content {
    display: flex;
    align-items: center;
    justify-content: center;
    gap: 0.75rem;
    flex-wrap: wrap;
}

.footer-links {
    display: inline-flex;
    align-items: center;
    gap: 0.75rem;
    flex-wrap: wrap;
}

.footer-links::before {
    content: "|";
    color: var(--text-muted);
}

.footer-links a {
    color: var(--text-muted);
}

.footer-links a:hover {
    color: var(--accent);
}


.home {
    padding-top: 1rem;
}

.profile {
    display: flex;
    gap: 2.5rem;
    align-items: flex-start;
    margin-bottom: 3rem;
}

.profile-image {
    width: 160px;
    height: 160px;
    border-radius: 50%;
    object-fit: cover;
    flex-shrink: 0;
}

.profile-content {
    flex: 1;
}

.profile-content h1 {
    margin-bottom: 0.5rem;
}

.section {
    margin-bottom: 3rem;
}

.section h2 {
    margin-bottom: 1.5rem;
    font-size: 1.5rem;
    font-weight: 600;
}

.view-all {
    display: inline-block;
    margin-top: 1rem;
    color: var(--accent);
    text-decoration: none;
    font-size: 0.95rem;
}

.view-all:hover {
    text-decoration: underline;
}


.post-list {
    display: flex;
    flex-direction: column;
    gap: 1rem;
}

.post-card {
    padding: 1.25rem;
    border: 1px solid var(--border);
    border-radius: var(--radius);
    transition: box-shadow 0.2s, border-color 0.2s;
    background: var(--bg);
}

.post-card:hover {
    box-shadow: var(--shadow);
    border-color: var(--accent);
}

.post-card a {
    text-decoration: none;
    color: inherit;
    display: block;
}

.post-card h2, .post-card h3 {
    margin-bottom: 0.5rem;
    color: var(--text);
    font-weight: 600;
}

.post-card h2 {
    font-size: 1.25rem;
}

.post-card h3 {
    font-size: 1.1rem;
}

.post-meta {
    font-size: 0.875rem;
    color: var(--text-muted);
    margin-bottom: 0.5rem;
}

.post-description {
    color: var(--text-muted);
    font-size: 0.95rem;
    line-height: 1.5;
}

.empty-state {
    color: var(--text-muted);
    font-style: italic;
    padding: 2rem 0;
}


.blog-list h1 {
    margin-bottom: 2rem;
    font-size: 2rem;
}

.page {
    max-width: var(--content-width);
    margin: 0 auto;
}

.page h1:first-child {
    margin-top: 0;
}


.post-layout {
    position: relative;
    max-width: var(--content-width);
    margin: 0 auto;
}

.post-content {
    width: 100%;
}

.post-header {
    margin-bottom: 2rem;
    padding-bottom: 1.5rem;
    border-bottom: 1px solid var(--border);
}

.post-header h1 {
    font-size: 2rem;
    margin-bottom: 0.75rem;
    line-height: 1.3;
}

.post-footer {
    margin-top: 3rem;
    padding-top: 1.5rem;
    border-top: 1px solid var(--border);
}

.back-link {
    color: var(--text-muted);
    font-size: 0.95rem;
}

.back-link:hover {
    color: var(--accent);
}


.toc-sidebar {
    position: sticky;
    top: 80px;
    float: left;
    width: 200px;
    margin-left: calc(-200px - 3rem);
    max-height: calc(100vh - 100px);
    overflow-y: auto;
}

.toc {
    font-size: 0.85rem;
    padding: 0.75rem;
    background: transparent;
    border-radius: var(--radius);
}

.toc h4 {
    margin-bottom: 0.75rem;
    color: var(--text-muted);
    text-transform: uppercase;
    font-size: 0.7rem;
    letter-spacing: 0.05em;
    font-weight: 600;
}

.toc ul {
    list-style: none;
}

.toc li {
    margin-bottom: 0.4rem;
}

.toc a {
    color: var(--text-muted);
    text-decoration: none;
    transition: color 0.2s;
    display: block;
    line-height: 1.4;
}

.toc a:hover, .toc a.active {
    color: var(--accent);
}

.toc ul ul {
    margin-left: 0.75rem;
    margin-top: 0.4rem;
    padding-left: 0.75rem;
    border-left: 1px solid var(--border);
}

.toc .headerlink {
    display: none;
}

.prose {
    line-height: 1.7;
}

.prose h1 {
    font-size: 1.75rem;
    margin-top: 2.5rem;
    margin-bottom: 1rem;
}

.prose h2 {
    font-size: 1.5rem;
    margin-top: 2rem;
    margin-bottom: 0.75rem;
}

.prose h3 {
    font-size: 1.25rem;
    margin-top: 1.75rem;
    margin-bottom: 0.5rem;
}

.prose h4 {
    font-size: 1.1rem;
    margin-top: 1.5rem;
    margin-bottom: 0.5rem;
}

.prose .headerlink {
    color: var(--text-muted);
    text-decoration: none;
    margin-left: 0.5rem;
    opacity: 0;
    transition: opacity 0.2s;
}

.prose h1:hover .headerlink,
.prose h2:hover .headerlink,
.prose h3:hover .headerlink,
.prose h4:hover .headerlink {
    opacity: 1;
}

.prose p {
    margin-bottom: 1rem;
}

.prose a {
    color: var(--accent);
}

.prose strong {
    color: var(--markdown-strong-color);
    font-weight: 700;
}

.prose img {
    max-width: 100%;
    height: auto;
    border-radius: var(--radius);
    margin: 1.5rem 0;
}

.prose ul, .prose ol {
    margin-bottom: 1rem;
    padding-left: 1.5rem;
}

.prose li {
    margin-bottom: 0.35rem;
}

.prose li > ul, .prose li > ol {
    margin-top: 0.35rem;
    margin-bottom: 0;
}

.prose blockquote {
    border-left: 3px solid var(--accent);
    padding-left: 1rem;
    margin: 1.5rem 0;
    color: var(--text-muted);
    font-style: italic;
}

.prose blockquote p:last-child {
    margin-bottom: 0;
}

.prose hr {
    border: none;
    border-top: 1px solid var(--border);
    margin: 2rem 0;
}

.prose table {
    width: 100%;
    border-collapse: collapse;
    margin: 1.5rem 0;
    font-size: 0.95rem;
}

.prose th, .prose td {
    padding: 0.75rem;
    border: 1px solid var(--border);
    text-align: left;
}

.prose th {
    background: var(--bg-secondary);
    font-weight: 600;
}

.prose tr:nth-child(even) {
    background: var(--bg-secondary);
}


.prose code {
    font-family: "SFMono-Regular", Consolas, "Liberation Mono", Menlo, monospace;
    font-size: 0.875em;
    background: var(--code-bg);
    padding: 0.2em 0.4em;
    border-radius: 3px;
}

.prose pre {
    background: var(--code-bg);
    padding: 1rem;
    border-radius: var(--radius);
    overflow-x: auto;
    margin: 1.5rem 0;
    border: 1px solid var(--border);
}

.prose pre code {
    background: none;
    padding: 0;
    font-size: 0.875rem;
    line-height: 1.5;
}

.highlight {
    background: var(--code-bg);
    padding: 1rem;
    border-radius: var(--radius);
    overflow-x: auto;
    margin: 1.5rem 0;
    border: 1px solid var(--border);
}

.highlight pre {
    background: none;
    padding: 0;
    margin: 0;
    border: none;
}

.highlight code {
    background: none;
    padding: 0;
}


.publications-page h1 {
    margin-bottom: 1.5rem;
    font-size: 2rem;
}

.publications-page .intro {
    margin-bottom: 2rem;
}

.pub-list {
    display: flex;
    flex-direction: column;
    gap: 1.25rem;
}

.pub-card {
    padding: 1.25rem;
    border: 1px solid var(--border);
    border-radius: var(--radius);
    background: var(--bg);
    display: flex;
    gap: 1.25rem;
    align-items: flex-start;
}

.pub-card.selected {
    border-left: 3px solid var(--accent);
}

.pub-image {
    flex-shrink: 0;
    width: 120px;
    height: 90px;
    overflow: hidden;
    border-radius: var(--radius);
    background: var(--bg-secondary);
}

.pub-image img {
    width: 100%;
    height: 100%;
    object-fit: cover;
    transition: transform 0.3s ease;
}

.pub-image img:hover {
    transform: scale(1.1);
}

.pub-info {
    flex: 1;
    min-width: 0;
}

.pub-card h3 {
    margin-bottom: 0.5rem;
    font-size: 1.05rem;
    font-weight: 600;
    line-height: 1.4;
}

.pub-authors {
    color: var(--text-muted);
    font-size: 0.9rem;
    margin-bottom: 0.25rem;
}

.pub-venue {
    color: var(--text-muted);
    font-size: 0.875rem;
    font-style: italic;
    margin-bottom: 0.75rem;
}

.pub-abstract {
    margin: 0.75rem 0;
}

.pub-abstract summary {
    cursor: pointer;
    color: var(--accent);
    font-size: 0.875rem;
    user-select: none;
}

.pub-abstract summary:hover {
    text-decoration: underline;
}

.pub-abstract p {
    margin-top: 0.75rem;
    font-size: 0.9rem;
    color: var(--text-muted);
    line-height: 1.6;
}

.pub-link {
    color: var(--accent);
    text-decoration: none;
    font-size: 0.875rem;
}

.pub-link:hover {
    text-decoration: underline;
}

.image-zoom-overlay {
    position: fixed;
    top: 0;
    left: 0;
    width: 100%;
    height: 100%;
    background: rgba(0, 0, 0, 0);
    z-index: 1000;
    cursor: pointer;
    display: flex;
    justify-content: center;
    align-items: center;
    padding: 2rem;
    opacity: 0;
    pointer-events: none;
    transition: opacity 0.3s ease, background 0.3s ease;
}

.image-zoom-overlay.active {
    opacity: 1;
    background: rgba(0, 0, 0, 0.9);
    pointer-events: auto;
}

.image-zoom-overlay img {
    max-width: 90%;
    max-height: 90%;
    object-fit: contain;
    border-radius: var(--radius);
    box-shadow: 0 4px 20px rgba(0, 0, 0, 0.5);
    transform: scale(0.8);
    opacity: 0;
    transition: transform 0.3s ease, opacity 0.3s ease;
}

.image-zoom-overlay.active img {
    transform: scale(1);
    opacity: 1;
}

.pub-image img {
    cursor: pointer;
}


.citation {
    font-size: 0.75em;
    vertical-align: super;
    line-height: 0;
}

.citation a {
    color: var(--accent);
    text-decoration: none;
    padding: 0 0.1em;
}

.citation a[id] {
    scroll-margin-top: 110px;
}

.citation a:hover {
    text-decoration: underline;
}

.footnote-ref {
    font-size: 0.75em;
    vertical-align: super;
    line-height: 0;
    scroll-margin-top: 80px;
}

.footnote-ref a {
    color: var(--accent);
    text-decoration: none;
    padding: 0 0.1em;
}

.footnote-ref a:hover {
    text-decoration: underline;
}

.footnote-sidenote {
    float: right;
    clear: right;
    width: var(--sidenote-width);
    margin-right: calc(-1 * (var(--sidenote-width) + var(--sidenote-gap)));
    margin-left: 1.25rem;
    margin-bottom: 0.75rem;
    padding-left: 0.85rem;
    border-left: 2px solid var(--border);
    color: var(--text-muted);
    font-size: 0.85rem;
    line-height: 1.45;
    scroll-margin-top: 80px;
}

.footnote-sidenote-number {
    color: var(--text);
    font-weight: 600;
    margin-right: 0.25rem;
}

.footnote-sidenote-content a {
    color: var(--accent);
}

.footnote-backlink {
    color: var(--text-muted);
    text-decoration: none;
    margin-left: 0.35rem;
}

.footnote-backlink:hover {
    color: var(--accent);
}

.bibtex-citation {
    margin-top: 3rem;
    padding: 1.25rem;
    border: 1px solid var(--border);
    border-radius: var(--radius);
    background: var(--bg-secondary);
}

.bibtex-citation-header {
    display: flex;
    align-items: center;
    justify-content: space-between;
    gap: 1rem;
    margin-bottom: 0.75rem;
}

.bibtex-citation h2 {
    font-size: 1.1rem;
    color: var(--text);
    margin: 0;
}

.copy-bibtex {
    appearance: none;
    border: 1px solid var(--border);
    background: var(--bg);
    color: var(--text-muted);
    padding: 0.35rem 0.65rem;
    border-radius: var(--radius);
    font-size: 0.85rem;
    cursor: pointer;
    transition: color 0.2s, border-color 0.2s;
}

.copy-bibtex:hover {
    color: var(--text);
    border-color: var(--text-muted);
}

.copy-bibtex:active {
    transform: translateY(1px);
}

.copy-bibtex.copied {
    color: var(--accent);
    border-color: var(--accent);
}

.bibtex-citation pre {
    background: var(--code-bg);
    border: 1px solid var(--border);
    border-radius: var(--radius);
    padding: 0.9rem 1rem;
    overflow: auto;
    margin: 0;
}

.bibtex-citation code {
    font-size: 0.85rem;
    line-height: 1.4;
}

.references {
    margin-top: 3rem;
    padding-top: 2rem;
    border-top: 1px solid var(--border);
}

.references h2 {
    font-size: 1.25rem;
    margin-bottom: 1rem;
    color: var(--text);
}

.references ol {
    padding-left: 1.5rem;
    margin: 0;
}

.references li {
    margin-bottom: 1rem;
    font-size: 0.9rem;
    line-height: 1.5;
    color: var(--text);
}

.references li a {
    color: var(--accent);
    text-decoration: none;
}

.references li a:hover {
    text-decoration: underline;
}

.ref-authors {
    color: var(--text-muted);
    font-size: 0.85em;
}

.ref-venue {
    color: var(--text-muted);
    font-size: 0.85em;
    font-style: italic;
    margin-left: 0.25em;
}

.ref-venue::before {
    content: "— ";
}

.ref-backlink {
    color: var(--text-muted);
    text-decoration: none;
    font-size: 0.85em;
    margin-left: 0.5em;
}

.ref-backlink:hover {
    color: var(--accent);
}


@media (max-width: 1100px) {
    .toc-sidebar {
        position: relative;
        float: none;
        left: 0;
        top: 0;
        margin-left: 0;
        margin-bottom: 2rem;
        max-height: none;
        width: 100%;
    }
    
    .toc {
        padding: 1rem;
        background: var(--bg-secondary);
        border-radius: var(--radius);
    }

    .footnote-sidenote {
        float: none;
        width: auto;
        margin: 0.4rem 0 1rem 0.25rem;
        padding-left: 0.75rem;
        border-left-width: 2px;
    }
}

@media (max-width: 768px) {
    .profile {
        flex-direction: column;
        align-items: center;
        text-align: center;
        gap: 1.5rem;
    }
    
    .profile-image {
        width: 140px;
        height: 140px;
    }
    
    .post-header h1 {
        font-size: 1.5rem;
    }
    
    .nav-links {
        gap: 1rem;
    }
    
    .nav-link {
        font-size: 0.9rem;
    }
}

@media (max-width: 600px) {
    .pub-card {
        flex-direction: column;
    }
    
    .pub-image {
        width: 100%;
        height: 140px;
    }
}

@media (max-width: 480px) {
    .container {
        padding: 0 1rem;
    }
    
    .nav-container {
        height: 50px;
    }
    
    .nav-brand {
        font-size: 1rem;
    }
    
    .nav-links {
        gap: 0.75rem;
    }
    
    .profile-image {
        width: 120px;
        height: 120px;
    }
    
    .section h2 {
        font-size: 1.25rem;
    }
}


/* Lectern config overrides */
:root {
    --markdown-strong-color: #1a1a1a;
}

[data-theme="dark"] {
    --markdown-strong-color: #93c5fd;
}


/* Pygments github-dark syntax highlighting */
pre { line-height: 125%; }
td.linenos .normal { color: #6e7681; background-color: #0d1117; padding-left: 5px; padding-right: 5px; }
span.linenos { color: #6e7681; background-color: #0d1117; padding-left: 5px; padding-right: 5px; }
td.linenos .special { color: #e6edf3; background-color: #6e7681; padding-left: 5px; padding-right: 5px; }
span.linenos.special { color: #e6edf3; background-color: #6e7681; padding-left: 5px; padding-right: 5px; }
.highlight .hll { background-color: #6e7681 }
.highlight { background: #0d1117; color: #E6EDF3 }
.highlight .c { color: #8B949E; font-style: italic } /* Comment */
.highlight .err { color: #F85149 } /* Error */
.highlight .esc { color: #E6EDF3 } /* Escape */
.highlight .g { color: #E6EDF3 } /* Generic */
.highlight .k { color: #FF7B72 } /* Keyword */
.highlight .l { color: #A5D6FF } /* Literal */
.highlight .n { color: #E6EDF3 } /* Name */
.highlight .o { color: #FF7B72; font-weight: bold } /* Operator */
.highlight .x { color: #E6EDF3 } /* Other */
.highlight .p { color: #E6EDF3 } /* Punctuation */
.highlight .ch { color: #8B949E; font-style: italic } /* Comment.Hashbang */
.highlight .cm { color: #8B949E; font-style: italic } /* Comment.Multiline */
.highlight .cp { color: #8B949E; font-weight: bold; font-style: italic } /* Comment.Preproc */
.highlight .cpf { color: #8B949E; font-style: italic } /* Comment.PreprocFile */
.highlight .c1 { color: #8B949E; font-style: italic } /* Comment.Single */
.highlight .cs { color: #8B949E; font-weight: bold; font-style: italic } /* Comment.Special */
.highlight .gd { color: #FFA198; background-color: #490202 } /* Generic.Deleted */
.highlight .ge { color: #E6EDF3; font-style: italic } /* Generic.Emph */
.highlight .ges { color: #E6EDF3; font-weight: bold; font-style: italic } /* Generic.EmphStrong */
.highlight .gr { color: #FFA198 } /* Generic.Error */
.highlight .gh { color: #79C0FF; font-weight: bold } /* Generic.Heading */
.highlight .gi { color: #56D364; background-color: #0F5323 } /* Generic.Inserted */
.highlight .go { color: #8B949E } /* Generic.Output */
.highlight .gp { color: #8B949E } /* Generic.Prompt */
.highlight .gs { color: #E6EDF3; font-weight: bold } /* Generic.Strong */
.highlight .gu { color: #79C0FF } /* Generic.Subheading */
.highlight .gt { color: #FF7B72 } /* Generic.Traceback */
.highlight .g-Underline { color: #E6EDF3; text-decoration: underline } /* Generic.Underline */
.highlight .kc { color: #79C0FF } /* Keyword.Constant */
.highlight .kd { color: #FF7B72 } /* Keyword.Declaration */
.highlight .kn { color: #FF7B72 } /* Keyword.Namespace */
.highlight .kp { color: #79C0FF } /* Keyword.Pseudo */
.highlight .kr { color: #FF7B72 } /* Keyword.Reserved */
.highlight .kt { color: #FF7B72 } /* Keyword.Type */
.highlight .ld { color: #79C0FF } /* Literal.Date */
.highlight .m { color: #A5D6FF } /* Literal.Number */
.highlight .s { color: #A5D6FF } /* Literal.String */
.highlight .na { color: #E6EDF3 } /* Name.Attribute */
.highlight .nb { color: #E6EDF3 } /* Name.Builtin */
.highlight .nc { color: #F0883E; font-weight: bold } /* Name.Class */
.highlight .no { color: #79C0FF; font-weight: bold } /* Name.Constant */
.highlight .nd { color: #D2A8FF; font-weight: bold } /* Name.Decorator */
.highlight .ni { color: #FFA657 } /* Name.Entity */
.highlight .ne { color: #F0883E; font-weight: bold } /* Name.Exception */
.highlight .nf { color: #D2A8FF; font-weight: bold } /* Name.Function */
.highlight .nl { color: #79C0FF; font-weight: bold } /* Name.Label */
.highlight .nn { color: #FF7B72 } /* Name.Namespace */
.highlight .nx { color: #E6EDF3 } /* Name.Other */
.highlight .py { color: #79C0FF } /* Name.Property */
.highlight .nt { color: #7EE787 } /* Name.Tag */
.highlight .nv { color: #79C0FF } /* Name.Variable */
.highlight .ow { color: #FF7B72; font-weight: bold } /* Operator.Word */
.highlight .pm { color: #E6EDF3 } /* Punctuation.Marker */
.highlight .w { color: #6E7681 } /* Text.Whitespace */
.highlight .mb { color: #A5D6FF } /* Literal.Number.Bin */
.highlight .mf { color: #A5D6FF } /* Literal.Number.Float */
.highlight .mh { color: #A5D6FF } /* Literal.Number.Hex */
.highlight .mi { color: #A5D6FF } /* Literal.Number.Integer */
.highlight .mo { color: #A5D6FF } /* Literal.Number.Oct */
.highlight .sa { color: #79C0FF } /* Literal.String.Affix */
.highlight .sb { color: #A5D6FF } /* Literal.String.Backtick */
.highlight .sc { color: #A5D6FF } /* Literal.String.Char */
.highlight .dl { color: #79C0FF } /* Literal.String.Delimiter */
.highlight .sd { color: #A5D6FF } /* Literal.String.Doc */
.highlight .s2 { color: #A5D6FF } /* Literal.String.Double */
.highlight .se { color: #79C0FF } /* Literal.String.Escape */
.highlight .sh { color: #79C0FF } /* Literal.String.Heredoc */
.highlight .si { color: #A5D6FF } /* Literal.String.Interpol */
.highlight .sx { color: #A5D6FF } /* Literal.String.Other */
.highlight .sr { color: #79C0FF } /* Literal.String.Regex */
.highlight .s1 { color: #A5D6FF } /* Literal.String.Single */
.highlight .ss { color: #A5D6FF } /* Literal.String.Symbol */
.highlight .bp { color: #E6EDF3 } /* Name.Builtin.Pseudo */
.highlight .fm { color: #D2A8FF; font-weight: bold } /* Name.Function.Magic */
.highlight .vc { color: #79C0FF } /* Name.Variable.Class */
.highlight .vg { color: #79C0FF } /* Name.Variable.Global */
.highlight .vi { color: #79C0FF } /* Name.Variable.Instance */
.highlight .vm { color: #79C0FF } /* Name.Variable.Magic */
.highlight .il { color: #A5D6FF } /* Literal.Number.Integer.Long */