@font-face{font-family:Arvo;font-style:normal;font-weight:400;src:url(/fonts/arvo-v20-latin-regular.woff2)format("woff2"),url(/fonts/arvo-v20-latin-regular.woff)format("woff")}@font-face{font-family:Arvo;font-style:italic;font-weight:400;src:url(/fonts/arvo-v20-latin-italic.woff2)format("woff2"),url(/fonts/arvo-v20-latin-italic.woff)format("woff")}@font-face{font-family:Fira Mono;font-style:normal;font-weight:400;src:url(/fonts/fira-mono-v14-latin-regular.woff2)format("woff2"),url(/fonts/fira-mono-v14-latin-regular.woff)format("woff")}@font-face{font-family:Fira Mono;font-style:normal;font-weight:700;src:url(/fonts/fira-mono-v14-latin-700.woff2)format("woff2"),url(/fonts/fira-mono-v14-latin-700.woff)format("woff")}@font-face{font-family:Fira Sans;font-style:normal;font-weight:400;src:url(/fonts/fira-sans-v16-latin-ext_latin-regular.woff2)format("woff2"),url(/fonts/fira-sans-v16-latin-ext_latin-regular.woff)format("woff")}@font-face{font-family:Fira Sans;font-style:italic;font-weight:400;src:url(/fonts/fira-sans-v16-latin-ext_latin-italic.woff2)format("woff2"),url(/fonts/fira-sans-v16-latin-ext_latin-italic.woff)format("woff")}@font-face{font-family:Fira Sans;font-style:normal;font-weight:700;src:url(/fonts/fira-sans-v16-latin-ext_latin-700.woff2)format("woff2"),url(/fonts/fira-sans-v16-latin-ext_latin-700.woff)format("woff")}@font-face{font-family:Fira Sans;font-style:italic;font-weight:700;src:url(/fonts/fira-sans-v16-latin-ext_latin-700italic.woff2)format("woff2"),url(/fonts/fira-sans-v16-latin-ext_latin-700italic.woff)format("woff")}:root{--brand-primary:#598fe7;--brand-success:#25a162;--brand-danger:#dc524a;--jumbotron-bg:#3e6bb6;--jumbotron-small:#243e6a;--navbar-fg:#fefeff;--navbar-height:55px;--text-color:#444;--text-muted:#777;--font-sans:"Fira Sans", "Helvetica Neue", Helvetica, Arial, sans-serif;--font-serif:"Arvo", "Times New Roman", Times, serif;--font-mono:"Fira Mono", Menlo, Monaco, Consolas, "Courier New", monospace}*,:before,:after{box-sizing:border-box}html{-webkit-text-size-adjust:100%;min-height:100%;position:relative}body{font-family:var(--font-sans);color:var(--text-color);background-color:#fff;margin:0 0 90px;font-size:16px;line-height:1.5}h1,h2,h3,h4,h5,h6{font-family:var(--font-serif);margin:24px 0 12px;font-weight:500;line-height:1.1}h1{font-size:41px}h2{font-size:34px}h3{font-size:28px}h4{margin:12px 0;font-size:20px}h1 small,h2 small,h3 small{color:var(--text-muted);font-size:65%;font-weight:400}p{margin:0 0 12px}a{color:var(--brand-primary);text-decoration:none}a:hover,a:focus{color:#2361c9;text-decoration:underline}img{vertical-align:middle;max-width:100%}hr{border:0;border-top:1px solid #eee;margin:24px 0}blockquote{border-left:5px solid #eee;margin:0 0 24px;padding:11px 22px;font-size:20px}code,pre{font-family:var(--font-mono)}code{color:#c7254e;background-color:#f9f2f4;border-radius:4px;padding:2px 4px;font-size:90%}pre{border:1px solid var(--brand-primary);border-radius:4px;margin:0 0 12px;padding:9.5px;font-size:14px;overflow-x:auto}pre code{font-size:inherit;color:inherit;background-color:#0000;border-radius:0;padding:0}.container{width:100%;margin:0 auto;padding:0 15px}@media (width>=768px){.container{max-width:750px}}@media (width>=992px){.container{max-width:970px}}.lead{margin-bottom:22px;font-size:18px;font-weight:300;line-height:1.4}.lead p{font-size:inherit}@media (width>=768px){.lead{font-size:24px}}.list-unstyled{padding-left:0;list-style:none}.list-inline{margin:0 0 12px -5px;padding-left:0;list-style:none}.list-inline>li{padding:0 5px;display:inline-block}.text-muted{color:var(--text-muted)}.pull-right{float:right}.img-circle{border-radius:50%}.img-responsive{max-width:100%;height:auto;display:block}.img-thumbnail{background-color:#fff;border:1px solid #ddd;border-radius:4px;padding:4px}.icon svg{fill:currentColor;vertical-align:-.125em;width:1.125em;height:1em}.btn{font-size:16px;font-family:var(--font-sans);text-align:center;cursor:pointer;background-image:none;border:1px solid #0000;border-radius:4px;padding:6px 12px;line-height:1.5;display:inline-block}.btn:hover,.btn:focus{text-decoration:none}.btn-default{color:#333;background-color:#fff;border-color:#ccc}.btn-default:hover{color:#333;background-color:#e6e6e6;border-color:#adadad}.btn-success{color:#fff;background-color:var(--brand-success);border-color:#1f8752}.btn-success:hover{color:#fff;background-color:#1e8350;border-color:#145636}.btn-lg{border-radius:6px;padding:10px 16px;font-size:20px}.btn-group{display:inline-flex}.btn-group .btn{border-radius:0}.btn-group .btn:not(:first-child){margin-left:-1px}.btn-group .btn:first-child{border-top-left-radius:4px;border-bottom-left-radius:4px}.btn-group .btn:last-child{border-top-right-radius:4px;border-bottom-right-radius:4px}@media (width<=767px){.btn-group .hidden-xs{display:none}}.alert{border:1px solid #0000;border-radius:4px;margin-bottom:22px;padding:15px}.alert-danger{color:#a94442;background-color:#f2dede;border-color:#ebccd1}.well{background-color:#f5f5f5;border:1px solid #e3e3e3;border-radius:4px;margin-bottom:20px;padding:19px;box-shadow:inset 0 1px 1px #0000000d}.well :last-child{margin-bottom:0}.site-header .navbar{background-color:var(--brand-primary);min-height:var(--navbar-height);background-image:url(/img/congruent_pentagon.png);background-position:0 5px;background-size:300px}.navbar .container{flex-wrap:wrap;align-items:stretch;display:flex}.navbar-brand{font-family:var(--font-serif);color:var(--navbar-fg);min-height:var(--navbar-height);align-items:center;padding:0 15px 0 0;font-size:20px;display:flex}.navbar-brand:hover,.navbar-brand:focus{color:#fff;text-decoration:none}.navbar-links{flex:1;display:flex}.navbar ul{align-items:stretch;margin:0;padding:0;list-style:none;display:flex}.navbar ul.navbar-right{margin-left:auto}.navbar-main>li{position:relative}.navbar-main>li>a,.language-menu summary{min-height:var(--navbar-height);color:var(--navbar-fg);align-items:center;padding:0 15px;display:flex}.navbar-main>li>a:hover,.language-menu summary:hover{color:#fff;text-decoration:none}@media (width>=768px){.navbar-main>li.active:after{content:" ";pointer-events:none;z-index:1;border:8px solid #0000;border-bottom-color:#fff;width:0;height:0;margin-left:-8px;position:absolute;bottom:0;left:50%}}.language-menu{position:relative}.language-menu summary{cursor:pointer;gap:6px;list-style:none}.language-menu summary::-webkit-details-marker{display:none}.language-menu summary:after{content:"";border:4px solid #0000;border-top-color:currentColor;margin-top:4px}.language-menu .dropdown-menu{z-index:1000;background-color:#fff;border:1px solid #00000026;border-radius:4px;min-width:160px;padding:5px 0;display:block;position:absolute;top:100%;right:0;box-shadow:0 6px 12px #0000002d}.language-menu .dropdown-menu li{display:block}.language-menu .dropdown-menu a{color:#333;white-space:nowrap;padding:3px 20px;display:block}.language-menu .dropdown-menu li.active a{color:#fff;background-color:var(--brand-primary)}.language-menu .dropdown-menu li.disabled a{color:var(--text-muted);cursor:not-allowed}.language-menu .dropdown-menu a:hover{background-color:#f5f5f5;text-decoration:none}.language-menu .dropdown-menu li.active a:hover{background-color:var(--brand-primary)}.language-menu .dropdown-menu li.disabled a:hover{background-color:#0000}.navbar .social{display:none}@media (width>=768px){.navbar .social{align-items:center;display:flex}.navbar .social>a{background-color:var(--navbar-fg);border-radius:50%;justify-content:center;align-items:center;width:34px;height:34px;margin:0 6px;font-size:21px;display:flex}.navbar .social .icon svg{display:block}.navbar .social.github>a{color:#000}.navbar .social.linkedin>a{color:#007bb6}.navbar .social.xing>a{color:#006567}.navbar .social.mastodon>a{color:#5b4fe5}.navbar .social.bluesky>a{color:#0085ff}.navbar .social>a:hover{background-color:currentColor}.navbar .social>a:hover .icon{color:#fff}}.nav-toggle-input,.nav-toggle{display:none}@media (width<=767px){.nav-toggle{border:1px solid var(--navbar-fg);cursor:pointer;border-radius:4px;flex-direction:column;justify-content:center;align-self:center;gap:4px;margin-left:auto;padding:11px 10px;display:flex}.nav-toggle span{background-color:var(--navbar-fg);border-radius:1px;width:22px;height:2px;display:block}.navbar-links{flex-direction:column;flex:none;width:100%;padding-bottom:8px;display:none}.nav-toggle-input:checked~.navbar-links{display:flex}.navbar ul{flex-direction:column;align-items:stretch;margin:7.5px 0}.navbar ul.navbar-right{margin-left:0}.navbar-main>li>a,.language-menu summary{min-height:0;padding:10px 0}.language-menu .dropdown-menu{min-width:0;box-shadow:none;background-color:#0000;border:0;padding:0;position:static}.language-menu .dropdown-menu a,.language-menu .dropdown-menu li.disabled a{color:var(--navbar-fg);padding:5px 0 5px 10px}.language-menu .dropdown-menu a:hover{background-color:#0000}}.jumbotron{color:#fff;background-color:var(--jumbotron-bg);background-image:url(/img/congruent_pentagon.png);background-position:0 -50px;background-size:300px;margin-bottom:30px;padding:24px 15px}.jumbotron h1{margin:10px 0}.jumbotron h1 small{color:var(--jumbotron-small);font-size:65%;font-weight:400}@media (width<=767px){.jumbotron{padding-left:0;padding-right:0}}footer{background-color:#f5f5f5;width:100%;height:60px;padding-top:20px;position:absolute;bottom:0}footer .container{flex-direction:row-reverse;justify-content:space-between;display:flex}footer .footer-nav{gap:10px;margin:0;padding:0;list-style:none;display:flex}footer p{margin:0}body.landing-page{background-color:var(--jumbotron-bg);color:#fff;background-image:url(/img/congruent_pentagon.png);background-position:0 5px;background-size:300px}.landing-page #content{text-align:center;margin:20px 0}@media (width>=768px){.landing-page #content{margin-top:0;position:absolute;top:50%;left:50%;transform:translate(-50%,-50%)}}.landing-page footer{background-color:#243e6a80}.landing-page footer .text-muted{color:#84a3d5}.post-date{white-space:nowrap}.post-title{margin-top:30px}article{margin-bottom:20px}.pagination-nav{text-align:center}.pagination{margin:24px 0;padding-left:0;list-style:none;display:inline-flex}.pagination>li>a{background-color:#fff;border:1px solid #ddd;margin-left:-1px;padding:6px 12px;display:block}.pagination>li:first-child>a{border-top-left-radius:4px;border-bottom-left-radius:4px}.pagination>li:last-child>a{border-top-right-radius:4px;border-bottom-right-radius:4px}.pagination>li>a:hover{background-color:#eee;text-decoration:none}.blog-hint{align-items:flex-start;gap:10px;display:flex}.blog-hint .icon{font-size:2em}a.email>span:nth-child(2){display:none}.talks-grid{grid-template-columns:repeat(auto-fill,minmax(280px,1fr));gap:20px;margin-bottom:20px;display:grid}.talk{background-color:#fff;border:1px solid #ddd;border-radius:4px;padding:4px;display:block}.talk img{object-fit:cover;clip-path:inset(1px);border-bottom:1px solid #ddd;width:100%}.talk .caption{padding:12px 9px 0}.talk .caption .talk-links{text-align:right}