/*! tailwindcss v4.1.18 | 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{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);text-decoration:none}a:hover{background-color:var(--color-gecode-soft)}a: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{overflow-wrap:anywhere}img{max-width:100%;height:auto}}@layer components{.skip-link{z-index:1000;background:var(--color-gecode-brand);color:var(--color-gecode-surface);padding:.5rem .75rem;text-decoration:none;position:absolute;top:0;left:0;transform:translateY(-140%)}.skip-link:focus{transform:translateY(0)}.site-shell{align-items:flex-start;min-height:calc(100vh - 3rem);margin:0;display:flex}.site-main{flex:0 0 68%;min-width:0;margin-left:3%}.site-content{margin-top:20px;margin-left:10px}.site-sidebar{flex:0 0 24%;min-width:0;margin-left:3%}.site-sidebar-logo{min-height:200px}.logo{margin:0 auto;padding-top:50px;display:block}.site-navigation{border-left:1px dotted var(--color-gecode-border);margin:0;padding:11px 10px 10px 15px}.site-nav-list{margin:0;padding:0;list-style:none}.site-nav-group+.site-nav-group{margin-top:1rem}.site-nav-list li{margin:0}.site-nav-link{border-right:5px solid var(--color-gecode-brand);color:var(--color-gecode-brand);letter-spacing:2px;text-transform:lowercase;font-family:var(--font-display);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{background:var(--color-gecode-brand);color:var(--color-gecode-surface)}.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-news-title{display:none}.sidebar-news-list{margin:0;padding:0;font-size:85%;list-style:none}.sidebar-news-item+.sidebar-news-item{border-top:1px dotted var(--color-gecode-border);margin-top:1rem;padding-top:.75rem}.sidebar-news-heading{margin:.15rem 0 .3rem;font-weight:700}.sidebar-news-body>:last-child{margin-bottom:0}.page-title{margin-bottom:1.25rem}.title-lockup{grid-template-columns:auto 1fr;align-items:start;gap:1.1rem;margin-bottom:1.25rem;display:grid}.title-lockup img{margin-top:.15rem}.title-lockup-text{gap:.25rem;padding-top:.1rem;display:grid}.logofront{text-align:left;font-size:160%;font-family:var(--font-display);letter-spacing:.03em;text-transform:lowercase;margin:0}.page-section+.page-section{margin-top:1.5rem}.simple-list,.feature-list,.publication-list,.projects-list,.interfaces-list{padding-left:1.75rem}.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}.news-entry-title{margin-top:0;margin-bottom:.7rem}.news-entry-content>:last-child{margin-bottom:0}.news-item-date{white-space:nowrap;margin:.1rem 0 0;font-style:italic}.publication-item,.resource-item{margin-bottom:.9rem}.publication-title,.resource-title{margin:0;font-weight:600}.publication-relation,.resource-meta,.resource-description,.lit{margin:.2rem 0 0}.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}.logo-grid-item img{display:block}.menu{font-weight:700}.site-footer{margin-left:74%;padding:0 20px 1rem;font-size:90%}.site-footer-meta{text-align:left;margin:0;font-style:normal}.visually-hidden{clip:rect(0,0,0,0);border:0;width:1px;height:1px;margin:-1px;padding:0;position:absolute;overflow:hidden}}@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 (min-width:40rem){.container{max-width:40rem}}@media (min-width:48rem){.container{max-width:48rem}}@media (min-width:64rem){.container{max-width:64rem}}@media (min-width:80rem){.container{max-width:80rem}}@media (min-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:calc(var(--spacing)*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,-webkit-backdrop-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(/fonts/Open_Sans/OpenSans-Regular.woff2)format("woff2"),url(/fonts/Open_Sans/OpenSans-Regular.ttf)format("truetype");font-style:normal;font-weight:400;font-display:swap}@font-face{font-family:Open Sans;src:url(/fonts/Open_Sans/OpenSans-RegularItalic.woff2)format("woff2"),url(/fonts/Open_Sans/OpenSans-RegularItalic.ttf)format("truetype");font-style:italic;font-weight:400;font-display:swap}@font-face{font-family:Raleway;src:url(/fonts/Raleway/Raleway-Medium.woff2)format("woff2"),url(/fonts/Raleway/Raleway-Medium.ttf)format("truetype");font-style:normal;font-weight:500;font-display:swap}@font-face{font-family:Raleway;src:url(/fonts/Raleway/Raleway-MediumItalic.woff2)format("woff2"),url(/fonts/Raleway/Raleway-MediumItalic.ttf)format("truetype");font-style:italic;font-weight:500;font-display:swap}@font-face{font-family:Roboto Mono;src:url(/fonts/Roboto_Mono/RobotoMono-Regular.woff2)format("woff2"),url(/fonts/Roboto_Mono/RobotoMono-Regular.ttf)format("truetype");font-style:normal;font-weight:400;font-display:swap}@font-face{font-family:Roboto Mono;src:url(/fonts/Roboto_Mono/RobotoMono-RegularItalic.woff2)format("woff2"),url(/fonts/Roboto_Mono/RobotoMono-RegularItalic.ttf)format("truetype");font-style:italic;font-weight:400;font-display:swap}@media (max-width:960px){.site-shell{gap:1.25rem;display:block}.site-main,.site-sidebar{box-sizing:border-box;width:auto;min-width:0;margin-left:3%;margin-right:3%}.site-sidebar-logo{min-height:0;margin-bottom:.5rem}.logo{margin-left:0;margin-right:0;padding-top:0}.title-lockup{grid-template-columns:1fr;gap:.75rem}.news-archive-item{grid-template-columns:1fr;row-gap:.2rem}.site-footer{margin-left:3%;margin-right:3%;padding-left:0;padding-right:0}}@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}