:root{--accent: #2563eb;--accent-hover: #1d4ed8;--text-primary: #1f2937;--text-secondary: #6b7280;--text-muted: #888888;--text-faint: #aaaaaa;--bg-page: #ffffff;--bg-card: #f9fafb;--bg-card-hover: #f3f4f6;--bg-summary-hover: #eef0f3;--border-light: #e5e7eb;--hr-bottom: rgba(255, 255, 255, 0.3);--table-row-bg: #ffffff;--table-row-alt-bg: #f8f8f8;--table-border: #cccccc;--blockquote-border: #333333;--shadow-card: 0 2px 8px rgba(0, 0, 0, 0.08);--icon-light-display: none;--icon-dark-display: inline}[data-theme=dark]{--accent: #539bf5;--accent-hover: #6cb6ff;--text-primary: #e6edf3;--text-secondary: #909dab;--text-muted: #909dab;--text-faint: #768390;--bg-page: #22272e;--bg-card: #2d333b;--bg-card-hover: #373e47;--bg-summary-hover: #373e47;--border-light: #444c56;--hr-bottom: rgba(0, 0, 0, 0.3);--table-row-bg: #2d333b;--table-row-alt-bg: #22272e;--table-border: #444c56;--blockquote-border: #909dab;--shadow-card: 0 2px 8px rgba(0, 0, 0, 0.4);--icon-light-display: inline;--icon-dark-display: none}@media(prefers-color-scheme: dark){:root:not([data-theme=light]){--accent: #539bf5;--accent-hover: #6cb6ff;--text-primary: #e6edf3;--text-secondary: #909dab;--text-muted: #909dab;--text-faint: #768390;--bg-page: #22272e;--bg-card: #2d333b;--bg-card-hover: #373e47;--bg-summary-hover: #373e47;--border-light: #444c56;--hr-bottom: rgba(0, 0, 0, 0.3);--table-row-bg: #2d333b;--table-row-alt-bg: #22272e;--table-border: #444c56;--blockquote-border: #909dab;--shadow-card: 0 2px 8px rgba(0, 0, 0, 0.4);--icon-light-display: inline;--icon-dark-display: none}}html{height:100%;margin:0;padding:0}body{margin:0;font-family:"Inconsolata",monospace;height:100%;color:var(--text-primary);background-color:var(--bg-page);transition:background-color .2s ease,color .2s ease}a{text-decoration:none;color:var(--accent);transition:color .2s ease}a:hover{text-decoration:underline;color:var(--accent-hover)}hr{border:0;height:0;border-top:1px solid var(--border-light);border-bottom:1px solid var(--hr-bottom);margin:1.5em 0}#author-name{font-size:32px;color:var(--text-primary);display:inline-block;font-weight:600;transition:color .2s ease}#author-name:hover{color:var(--accent);text-decoration:none}.navbar{padding:50px 0 40px 0}.navbar-ul{display:inline-block;margin:0;padding:5px 0 5px 0;margin-left:20px}.navbar-ul a{font-weight:500}.nav-list{list-style-type:none;margin:0 5px 0 10px}.alignable,.pull-right,.pull-left{display:inline-block}.pull-left{float:left}.pull-right{float:right}.navbar-header{display:flex;justify-content:space-between;align-items:baseline;flex-wrap:wrap;gap:12px}.header-icons{font-size:1.1em;line-height:1}.header-icons a{color:var(--text-primary)}.header-icons a:hover{color:var(--accent);text-decoration:none}#theme-toggle{cursor:pointer;background:none;border:none;padding:0;color:inherit;font:inherit}#theme-toggle .theme-icon-light{display:var(--icon-light-display)}#theme-toggle .theme-icon-dark{display:var(--icon-dark-display)}.site-tagline{color:var(--text-secondary)}.footer-copyright{color:var(--text-muted)}.footer-credits{color:var(--text-faint)}.container{max-width:700px;margin:auto}.wrapper{min-height:100%}#ins-logo{margin:auto;display:block;max-height:100px;text-align:center}@media(max-width: 800px){.container{max-width:600px;transition:.3s ease all}}@media(max-width: 650px){.container{max-width:83%}.navbar-ul{margin-top:5px}.content .pub{padding:.8em;margin-bottom:1.2em}.content h2{margin-top:1.5em;font-size:1.4em}.content h3{margin-top:1em;font-size:1.2em}.content details summary{padding:.6em .8em;font-size:.95em}}@media(max-width: 500px){.navbar{text-align:center;padding:50px 0px 0px 0px}.navbar-header{flex-direction:column;align-items:center;justify-content:center}#author-name{width:100%;float:none;font-size:28px}#navlist{padding:10px 0 10px 0;margin:0;display:block;float:none;text-align:center;width:100%}#navlist li.alignable,#navlist li.pull-left,#navlist li.pull-right{display:inline-block}#navlist li.pull-left{float:none}#navlist li.nav-list{margin:0}.content .pub{padding:.7em;margin-bottom:1em;border-left-width:2px}.content h2{font-size:1.3em}.content h3{font-size:1.15em}.content details summary{padding:.7em;min-height:44px;display:flex;align-items:center}.content{line-height:1.6}}.pubs .pub{margin:0 0 1.2rem 0}.pubs .pub p{margin:.15rem 0}.pubs .pub p:first-child{margin-top:0}.pubs .pub p:last-child{margin-bottom:0}:root{--accent: #2563eb;--accent-hover: #1d4ed8;--text-primary: #1f2937;--text-secondary: #6b7280;--text-muted: #888888;--text-faint: #aaaaaa;--bg-page: #ffffff;--bg-card: #f9fafb;--bg-card-hover: #f3f4f6;--bg-summary-hover: #eef0f3;--border-light: #e5e7eb;--hr-bottom: rgba(255, 255, 255, 0.3);--table-row-bg: #ffffff;--table-row-alt-bg: #f8f8f8;--table-border: #cccccc;--blockquote-border: #333333;--shadow-card: 0 2px 8px rgba(0, 0, 0, 0.08);--icon-light-display: none;--icon-dark-display: inline}[data-theme=dark]{--accent: #539bf5;--accent-hover: #6cb6ff;--text-primary: #e6edf3;--text-secondary: #909dab;--text-muted: #909dab;--text-faint: #768390;--bg-page: #22272e;--bg-card: #2d333b;--bg-card-hover: #373e47;--bg-summary-hover: #373e47;--border-light: #444c56;--hr-bottom: rgba(0, 0, 0, 0.3);--table-row-bg: #2d333b;--table-row-alt-bg: #22272e;--table-border: #444c56;--blockquote-border: #909dab;--shadow-card: 0 2px 8px rgba(0, 0, 0, 0.4);--icon-light-display: inline;--icon-dark-display: none}@media(prefers-color-scheme: dark){:root:not([data-theme=light]){--accent: #539bf5;--accent-hover: #6cb6ff;--text-primary: #e6edf3;--text-secondary: #909dab;--text-muted: #909dab;--text-faint: #768390;--bg-page: #22272e;--bg-card: #2d333b;--bg-card-hover: #373e47;--bg-summary-hover: #373e47;--border-light: #444c56;--hr-bottom: rgba(0, 0, 0, 0.3);--table-row-bg: #2d333b;--table-row-alt-bg: #22272e;--table-border: #444c56;--blockquote-border: #909dab;--shadow-card: 0 2px 8px rgba(0, 0, 0, 0.4);--icon-light-display: inline;--icon-dark-display: none}}.content{line-height:1.7;color:var(--text-primary)}.content h2{margin-top:1.8em;margin-bottom:.6em;font-weight:600;color:var(--text-primary)}.content h3{margin-top:1.2em;margin-bottom:.5em;font-weight:600;color:var(--text-primary)}.content p{margin-bottom:1em}.content a{transition:color .2s ease}.content a:hover{text-decoration:underline;color:var(--accent-hover)}.content ol{counter-reset:list}.content ol>li{list-style-position:none;position:relative;list-style:none;margin-top:5px;margin-bottom:5px}.content ul>li{margin:5px 0 5px 0}.content ul{padding:0 20px 0 20px}.content ol{padding:0 30px 0 30px}.content ol>li:before{content:"[" counter(list, decimal) "] ";counter-increment:list;position:absolute;left:-37px}.content blockquote{border-left:5px solid var(--blockquote-border);margin:20px 0 20px 0;padding:2px 8px 2px 8px;font-style:italic}.content .profile-picture{height:260px;width:260px;position:relative;margin:-10px 0 0 15px;float:right;border-radius:50%}p .content .profile-picture{padding:0;margin:0}@media(max-width: 480px){.content .profile-picture{float:none;margin:0 auto 1.5em auto;display:block;max-width:200px;height:auto;width:100%}.content .profile-picture img{margin-top:0}}.content img{text-align:center;width:100%}.content .pubs{margin-top:1em}.content .pub{margin-bottom:1.5em;padding:1em;background:var(--bg-card);border-left:3px solid var(--accent);border-radius:4px;transition:all .2s ease}.content .pub:hover{background:var(--bg-card-hover);border-left-color:var(--accent-hover);box-shadow:var(--shadow-card)}.content .pub p:first-child{margin-top:0}.content .pub p:last-child{margin-bottom:0}.content .pub strong:first-child{color:var(--text-primary);font-size:1.05em}.content details{margin-top:1.5em}.content details summary{cursor:pointer;padding:.7em 1em;background:var(--bg-card);border-radius:4px;transition:background .2s ease;font-weight:600}.content details summary:hover{background:var(--bg-summary-hover)}.content details[open] summary{margin-bottom:1.2em}.content ul li{color:var(--text-primary)}table{margin:15px 0;border-collapse:collapse;width:100%;padding:0}table tr{border-top:1px solid var(--table-border);background-color:var(--table-row-bg);margin:0;padding:0}table tr:nth-child(2n){background-color:var(--table-row-alt-bg)}table tr th{font-weight:bold;border:1px solid var(--table-border);text-align:left;margin:0;padding:6px 13px}table tr td{border:1px solid var(--table-border);text-align:left;margin:0;padding:6px 13px}table tr th :first-child,table tr td :first-child{margin:0}table tr th :last-child,table tr td :last-child{margin:0}/*# sourceMappingURL=main.css.map */