/*! tailwindcss v4.3.3 | MIT License | https://tailwindcss.com */
@layer properties{@supports (((-webkit-hyphens:none)) and (not (margin-trim:inline))) or ((-moz-orient:inline) and (not (color:rgb(from red r g b)))){*,:before,:after,::backdrop{--tw-rotate-x:initial;--tw-rotate-y:initial;--tw-rotate-z:initial;--tw-skew-x:initial;--tw-skew-y:initial;--tw-border-style:solid;--tw-ordinal:initial;--tw-slashed-zero:initial;--tw-numeric-figure:initial;--tw-numeric-spacing:initial;--tw-numeric-fraction:initial;--tw-shadow:0 0 #0000;--tw-shadow-color:initial;--tw-shadow-alpha:100%;--tw-inset-shadow:0 0 #0000;--tw-inset-shadow-color:initial;--tw-inset-shadow-alpha:100%;--tw-ring-color:initial;--tw-ring-shadow:0 0 #0000;--tw-inset-ring-color:initial;--tw-inset-ring-shadow:0 0 #0000;--tw-ring-inset:initial;--tw-ring-offset-width:0px;--tw-ring-offset-color:#fff;--tw-ring-offset-shadow:0 0 #0000;--tw-outline-style:solid;--tw-blur:initial;--tw-brightness:initial;--tw-contrast:initial;--tw-grayscale:initial;--tw-hue-rotate:initial;--tw-invert:initial;--tw-opacity:initial;--tw-saturate:initial;--tw-sepia:initial;--tw-drop-shadow:initial;--tw-drop-shadow-color:initial;--tw-drop-shadow-alpha:100%;--tw-drop-shadow-size:initial}}}@layer theme{:root,:host{--font-sans:"Open Sans", Arial, Helvetica, sans-serif;--font-mono:"Roboto Mono", ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, monospace;--spacing:.25rem;--default-transition-duration:.15s;--default-transition-timing-function:cubic-bezier(.4, 0, .2, 1);--font-display:"Raleway", Verdana, Arial, Helvetica, sans-serif;--color-gecode-ink:#000;--color-gecode-surface:#fff;--color-gecode-brand:#0b7646;--color-gecode-link:#005ba1;--color-gecode-soft:#f2f2ff;--color-gecode-border:#27393e}}@layer base,components;@layer utilities{.collapse{visibility:collapse}.visible{visibility:visible}.absolute{position:absolute}.fixed{position:fixed}.fixed\!{position:fixed!important}.relative{position:relative}.static{position:static}.sticky{position:sticky}.isolate{isolation:isolate}.z-2{z-index:2}.container{width:100%}@media (width>=40rem){.container{max-width:40rem}}@media (width>=48rem){.container{max-width:48rem}}@media (width>=64rem){.container{max-width:64rem}}@media (width>=80rem){.container{max-width:80rem}}@media (width>=96rem){.container{max-width:96rem}}.block{display:block}.contents{display:contents}.flex{display:flex}.grid{display:grid}.hidden{display:none}.inline{display:inline}.inline-block{display:inline-block}.table{display:table}.h-8{height:calc(var(--spacing) * 8)}.shrink{flex-shrink:1}.grow{flex-grow:1}.transform{transform:var(--tw-rotate-x,) var(--tw-rotate-y,) var(--tw-rotate-z,) var(--tw-skew-x,) var(--tw-skew-y,)}.resize{resize:both}.truncate{text-overflow:ellipsis;white-space:nowrap;overflow:hidden}.rounded{border-radius:.25rem}.border{border-style:var(--tw-border-style);border-width:1px}.p-0{padding:0}.uppercase{text-transform:uppercase}.italic{font-style:italic}.ordinal{--tw-ordinal:ordinal;font-variant-numeric:var(--tw-ordinal,) var(--tw-slashed-zero,) var(--tw-numeric-figure,) var(--tw-numeric-spacing,) var(--tw-numeric-fraction,)}.shadow{--tw-shadow:0 1px 3px 0 var(--tw-shadow-color,#0000001a), 0 1px 2px -1px var(--tw-shadow-color,#0000001a);box-shadow:var(--tw-inset-shadow), var(--tw-inset-ring-shadow), var(--tw-ring-offset-shadow), var(--tw-ring-shadow), var(--tw-shadow)}.ring{--tw-ring-shadow:var(--tw-ring-inset,) 0 0 0 calc(1px + var(--tw-ring-offset-width)) var(--tw-ring-color,currentcolor);box-shadow:var(--tw-inset-shadow), var(--tw-inset-ring-shadow), var(--tw-ring-offset-shadow), var(--tw-ring-shadow), var(--tw-shadow)}.outline{outline-style:var(--tw-outline-style);outline-width:1px}.blur{--tw-blur:blur(8px);filter:var(--tw-blur,) var(--tw-brightness,) var(--tw-contrast,) var(--tw-grayscale,) var(--tw-hue-rotate,) var(--tw-invert,) var(--tw-saturate,) var(--tw-sepia,) var(--tw-drop-shadow,)}.invert{--tw-invert:invert(100%);filter:var(--tw-blur,) var(--tw-brightness,) var(--tw-contrast,) var(--tw-grayscale,) var(--tw-hue-rotate,) var(--tw-invert,) var(--tw-saturate,) var(--tw-sepia,) var(--tw-drop-shadow,)}.sepia{--tw-sepia:sepia(100%);filter:var(--tw-blur,) var(--tw-brightness,) var(--tw-contrast,) var(--tw-grayscale,) var(--tw-hue-rotate,) var(--tw-invert,) var(--tw-saturate,) var(--tw-sepia,) var(--tw-drop-shadow,)}.filter{filter:var(--tw-blur,) var(--tw-brightness,) var(--tw-contrast,) var(--tw-grayscale,) var(--tw-hue-rotate,) var(--tw-invert,) var(--tw-saturate,) var(--tw-sepia,) var(--tw-drop-shadow,)}.transition{transition-property:color,background-color,border-color,outline-color,text-decoration-color,fill,stroke,--tw-gradient-from,--tw-gradient-via,--tw-gradient-to,opacity,box-shadow,transform,translate,scale,rotate,filter,backdrop-filter,display,content-visibility,overlay,pointer-events;transition-timing-function:var(--tw-ease,var(--default-transition-timing-function));transition-duration:var(--tw-duration,var(--default-transition-duration))}.\[cid\:a2c91763-1b0d-421c-9808-be6f0947e583\]{cid:a2c91763-1b0d-421c-9808-be6f0947e583}}@font-face{font-family:Open Sans;src:url(/_astro/OpenSans-Regular.BRtO2bB9.woff2)format("woff2"),url(/_astro/OpenSans-Regular.C58Z07Fu.ttf)format("truetype");font-style:normal;font-weight:400;font-display:optional}@font-face{font-family:Open Sans;src:url(/_astro/OpenSans-RegularItalic.DEQo3A_8.woff2)format("woff2"),url(/_astro/OpenSans-RegularItalic.iLYGizHS.ttf)format("truetype");font-style:italic;font-weight:400;font-display:optional}@font-face{font-family:Raleway;src:url(/_astro/Raleway-Medium.OSv8WxCx.woff2)format("woff2"),url(/_astro/Raleway-Medium.CTzovcTZ.ttf)format("truetype");font-style:normal;font-weight:500;font-display:optional}@font-face{font-family:Raleway;src:url(/_astro/Raleway-MediumItalic.CjBcdPjA.woff2)format("woff2"),url(/_astro/Raleway-MediumItalic.DLfcPuic.ttf)format("truetype");font-style:italic;font-weight:500;font-display:optional}@font-face{font-family:Roboto Mono;src:url(/_astro/RobotoMono-Regular.BUP1slpH.woff2)format("woff2"),url(/_astro/RobotoMono-Regular.DvXQnzLo.ttf)format("truetype");font-style:normal;font-weight:400;font-display:optional}@font-face{font-family:Roboto Mono;src:url(/_astro/RobotoMono-RegularItalic.GomE8VUU.woff2)format("woff2"),url(/_astro/RobotoMono-RegularItalic.DHKYZe1l.ttf)format("truetype");font-style:italic;font-weight:400;font-display:optional}html,body{min-height:100%;margin:0}body{color:var(--color-gecode-ink);background:var(--color-gecode-surface) url(/images/back.png) repeat-y;font-family:var(--font-sans);font-size:90%;line-height:1.45}h1,h2,h3,h4{margin:0 0 .75rem;font-weight:600;line-height:1.2}h1{font-size:130%}h2{font-size:115%}h3{font-size:100%}h4{font-size:85%}p,ul,ol,dl,pre,blockquote{margin:0 0 1rem}dt{margin-top:1rem;font-weight:700}ul{padding-left:1.75rem;list-style-type:square}a{color:var(--color-gecode-link);text-decoration:underline}a:visited{color:var(--color-gecode-link)}a:hover{background-color:var(--color-gecode-soft)}a:focus-visible,summary:focus-visible{outline:2px solid var(--color-gecode-brand);outline-offset:2px}tt,pre,code{font-family:var(--font-mono)}pre{overflow-wrap:anywhere;white-space:pre-wrap;overflow-x:auto}code,tt,a{overflow-wrap:anywhere}img{max-width:100%;height:auto}.skip-link{z-index:1000;color:var(--color-gecode-surface);background:var(--color-gecode-brand);padding:.5rem .75rem;text-decoration:none;position:absolute;top:0;left:0;transform:translateY(-140%)}.skip-link:focus{transform:translateY(0)}.page-frame{align-items:flex-start;min-height:calc(100vh - 3rem);display:flex}.site-main{flex:0 0 68%;min-width:0;margin-left:3%}.page-header,.hero-lockup,.prose-content{margin-left:10px}.page-header{margin-top:20px;margin-bottom:1.25rem}.hero-lockup{grid-template-columns:auto 1fr;align-items:start;gap:1.1rem;margin-top:20px;margin-bottom:1.25rem;display:grid}.hero-lockup img{margin-top:.15rem}.hero-lockup-text{gap:.25rem;padding-top:.1rem;display:grid}.hero-lockup-text p{font-family:var(--font-display);letter-spacing:.03em;text-transform:lowercase;margin:0;font-size:160%}.prose-content{min-width:0}.page-section+.page-section{margin-top:1.5rem}.site-sidebar{flex:0 0 24%;min-width:0;margin-left:3%}.site-sidebar-logo{min-height:200px}.sidebar-brand{color:inherit;text-decoration:none;display:block}.sidebar-brand:hover{background:0 0}.sidebar-brand img{margin:0 auto;padding-top:50px;display:block}.desktop-navigation{border-left:1px dotted var(--color-gecode-border);margin:0;padding:11px 10px 10px 15px}.site-nav-group{margin:0;padding:0;list-style:none}.site-nav-group+.site-nav-group{margin-top:1rem}.site-nav-group li{margin:0}.site-nav-link{border-right:5px solid var(--color-gecode-brand);color:var(--color-gecode-brand);font-family:var(--font-display);letter-spacing:2px;text-transform:lowercase;margin:4px 0 0;padding:0 8px 1px;text-decoration:none;display:block}.site-nav-link:visited{color:var(--color-gecode-brand)}.site-nav-link:hover{color:var(--color-gecode-surface);background:var(--color-gecode-brand)}.site-nav-link.is-active,.site-nav-link.is-active:visited{border-right-color:var(--color-gecode-ink);color:var(--color-gecode-ink)}.site-nav-link.is-active:hover{background:0 0}.sidebar-news{margin:0;padding:30px 10px 10px 22px;font-size:85%}.sidebar-section-heading h2,.sidebar-section-heading>a{clip:rect(0, 0, 0, 0);width:1px;height:1px;margin:-1px;position:absolute;overflow:hidden}.sidebar-section-heading>a{display:none}.sidebar-news ol{margin:0;padding:0;font-size:85%;list-style:none}.sidebar-news li+li{border-top:1px dotted var(--color-gecode-border);margin-top:1rem;padding-top:.75rem}.sidebar-news time{font-style:italic}.sidebar-news h3{margin:.15rem 0 .3rem;font-size:100%}.sidebar-news li>div>:last-child{margin-bottom:0}.mobile-navigation{display:none}.news-archive-list{margin:0;padding:0;list-style:none}.news-archive-item{grid-template-columns:8em minmax(0,1fr);column-gap:1.5rem;margin:0;padding:0 0 1.1rem;display:grid}.news-archive-item+.news-archive-item{margin-top:.35rem}.page-section>h2,.classic-section-title,.news-entry-title{font-size:100%}.news-entry-title{margin:0 0 .7rem}.news-entry-content>:last-child{margin-bottom:0}.news-item-date{white-space:nowrap;margin:.1rem 0 0;font-style:italic}.publication-list{padding-left:1.75rem}.publication-item{margin-bottom:.9rem}.publication-title{margin:0;font-weight:600}.publication-relation,.lit{margin:.2rem 0 0}.interfaces-list,.projects-list{padding-left:1.75rem}.resource-item{margin-bottom:.9rem}.resource-title{margin:0;font-weight:600}.resource-meta,.resource-description{margin:.2rem 0 0}.menu{font-weight:700}.logo-grid{grid-template-columns:repeat(auto-fit,minmax(10rem,1fr));gap:1rem;margin:0;padding:0;list-style:none;display:grid}.logo-grid-item{align-content:start;gap:.4rem;display:grid}.site-footer{margin-left:74%;padding:0 20px 1rem;font-size:90%}.visually-hidden{clip:rect(0, 0, 0, 0);border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}@media (width<=960px){.mobile-navigation{margin:1rem 3% 0;display:block}.mobile-navigation summary{border-left:1px dotted var(--color-gecode-border);border-right:5px solid var(--color-gecode-brand);color:var(--color-gecode-brand);font-family:var(--font-display);letter-spacing:2px;text-transform:lowercase;cursor:pointer;padding:.35rem .65rem}.mobile-navigation nav{border-bottom:1px dotted var(--color-gecode-border);grid-template-columns:repeat(3,minmax(0,1fr));gap:1rem;padding:.75rem .65rem;display:grid}.mobile-navigation-group{margin:0;padding:0;list-style:none}.mobile-navigation a[aria-current=page]{color:var(--color-gecode-ink);font-weight:700}.page-frame{display:block}.site-main,.site-sidebar{box-sizing:border-box;width:auto;min-width:0;margin-left:3%;margin-right:3%}.site-sidebar-logo,.desktop-navigation{display:none}.hero-lockup{grid-template-columns:1fr;gap:.75rem}.news-archive-item{grid-template-columns:1fr;row-gap:.2rem}.sidebar-news{border-top:1px dotted var(--color-gecode-border);margin-top:2rem;padding-left:10px}.sidebar-section-heading{justify-content:space-between;margin-bottom:1rem;display:flex}.sidebar-section-heading h2,.sidebar-section-heading>a{clip:auto;width:auto;height:auto;margin:0;position:static;overflow:visible}.sidebar-section-heading>a{display:inline}.sidebar-section-heading h2{font-size:100%}.site-footer{margin-left:3%;margin-right:3%;padding-left:0;padding-right:0}}@media (width<=540px){.mobile-navigation nav{grid-template-columns:1fr 1fr}}@property --tw-rotate-x{syntax:"*";inherits:false}@property --tw-rotate-y{syntax:"*";inherits:false}@property --tw-rotate-z{syntax:"*";inherits:false}@property --tw-skew-x{syntax:"*";inherits:false}@property --tw-skew-y{syntax:"*";inherits:false}@property --tw-border-style{syntax:"*";inherits:false;initial-value:solid}@property --tw-ordinal{syntax:"*";inherits:false}@property --tw-slashed-zero{syntax:"*";inherits:false}@property --tw-numeric-figure{syntax:"*";inherits:false}@property --tw-numeric-spacing{syntax:"*";inherits:false}@property --tw-numeric-fraction{syntax:"*";inherits:false}@property --tw-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-shadow-color{syntax:"*";inherits:false}@property --tw-shadow-alpha{syntax:"<percentage>";inherits:false;initial-value:100%}@property --tw-inset-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-inset-shadow-color{syntax:"*";inherits:false}@property --tw-inset-shadow-alpha{syntax:"<percentage>";inherits:false;initial-value:100%}@property --tw-ring-color{syntax:"*";inherits:false}@property --tw-ring-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-inset-ring-color{syntax:"*";inherits:false}@property --tw-inset-ring-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-ring-inset{syntax:"*";inherits:false}@property --tw-ring-offset-width{syntax:"<length>";inherits:false;initial-value:0}@property --tw-ring-offset-color{syntax:"*";inherits:false;initial-value:#fff}@property --tw-ring-offset-shadow{syntax:"*";inherits:false;initial-value:0 0 #0000}@property --tw-outline-style{syntax:"*";inherits:false;initial-value:solid}@property --tw-blur{syntax:"*";inherits:false}@property --tw-brightness{syntax:"*";inherits:false}@property --tw-contrast{syntax:"*";inherits:false}@property --tw-grayscale{syntax:"*";inherits:false}@property --tw-hue-rotate{syntax:"*";inherits:false}@property --tw-invert{syntax:"*";inherits:false}@property --tw-opacity{syntax:"*";inherits:false}@property --tw-saturate{syntax:"*";inherits:false}@property --tw-sepia{syntax:"*";inherits:false}@property --tw-drop-shadow{syntax:"*";inherits:false}@property --tw-drop-shadow-color{syntax:"*";inherits:false}@property --tw-drop-shadow-alpha{syntax:"<percentage>";inherits:false;initial-value:100%}@property --tw-drop-shadow-size{syntax:"*";inherits:false}