:root{--minima-seqan-color: #fede09;--minima-site-footer-color: #fff;--minima-site-footer-link-base-color: #777;--minima-site-footer-link-visited-color: #777;--minima-site-footer-link-hover-color: #ddd;--minima-site-footer-background-color: #363839;--minima-brand-color: #828282;--minima-brand-color-light: #e8e8e8;--minima-brand-color-dimmed: #666;--minima-brand-color-dark: #424242;--minima-site-title-color: #424242;--minima-heading-color: #111;--minima-text-color: #111;--minima-background-color: #fdfdfd;--minima-code-background-color: #eef;--minima-link-base-color: #2a7ae2;--minima-link-visited-color: #1756a9;--minima-link-hover-color: #111;--minima-border-color-01: #e8e8e8;--minima-border-color-02: #dbdbdb;--minima-border-color-03: #424242;--minima-table-text-color: #3f3f3f;--minima-table-zebra-color: #f7f7f7;--minima-table-header-bg-color: #f0f0f0;--minima-table-header-border: #e0e0e0;--minima-table-border-color: #e8e8e8}.highlight .c{color:#998;font-style:italic}.highlight .err{color:#a61717;background-color:#e3d2d2}.highlight .k{font-weight:bold}.highlight .o{font-weight:bold}.highlight .cm{color:#998;font-style:italic}.highlight .cp{color:#999;font-weight:bold}.highlight .c1{color:#998;font-style:italic}.highlight .cs{color:#999;font-weight:bold;font-style:italic}.highlight .gd{color:#000;background-color:#fdd}.highlight .gd .x{color:#000;background-color:#faa}.highlight .ge{font-style:italic}.highlight .gr{color:#a00}.highlight .gh{color:#999}.highlight .gi{color:#000;background-color:#dfd}.highlight .gi .x{color:#000;background-color:#afa}.highlight .go{color:#888}.highlight .gp{color:#555}.highlight .gs{font-weight:bold}.highlight .gu{color:#aaa}.highlight .gt{color:#a00}.highlight .kc{font-weight:bold}.highlight .kd{font-weight:bold}.highlight .kp{font-weight:bold}.highlight .kr{font-weight:bold}.highlight .kt{color:#458;font-weight:bold}.highlight .m{color:#099}.highlight .s{color:#d14}.highlight .na{color:teal}.highlight .nb{color:#0086B3}.highlight .nc{color:#458;font-weight:bold}.highlight .no{color:teal}.highlight .ni{color:purple}.highlight .ne{color:#900;font-weight:bold}.highlight .nf{color:#900;font-weight:bold}.highlight .nn{color:#555}.highlight .nt{color:navy}.highlight .nv{color:teal}.highlight .ow{font-weight:bold}.highlight .w{color:#bbb}.highlight .mf{color:#099}.highlight .mh{color:#099}.highlight .mi{color:#099}.highlight .mo{color:#099}.highlight .sb{color:#d14}.highlight .sc{color:#d14}.highlight .sd{color:#d14}.highlight .s2{color:#d14}.highlight .se{color:#d14}.highlight .sh{color:#d14}.highlight .si{color:#d14}.highlight .sx{color:#d14}.highlight .sr{color:#009926}.highlight .s1{color:#d14}.highlight .ss{color:#990073}.highlight .bp{color:#999}.highlight .vc{color:teal}.highlight .vg{color:teal}.highlight .vi{color:teal}.highlight .il{color:#099}[data-theme="dark"]{--minima-seqan-color: #322C01;--minima-site-footer-color: #ccc;--minima-site-footer-link-base-color: #999;--minima-site-footer-link-visited-color: #999;--minima-site-footer-link-hover-color: #fede09;--minima-site-footer-background-color: #1a1a1a;--minima-brand-color: #999;--minima-brand-color-light: #a6a6a6;--minima-brand-color-dimmed: #858585;--minima-brand-color-dark: #2b2b2b;--minima-site-title-color: #a6a6a6;--minima-heading-color: #ddd;--minima-text-color: #bbb;--minima-background-color: #181818;--minima-code-background-color: #252535;--minima-link-base-color: #6ba3e8;--minima-link-visited-color: #8bb8ef;--minima-link-hover-color: #fede09;--minima-border-color-01: #2b2b2b;--minima-border-color-02: #a6a6a6;--minima-border-color-03: #999;--minima-table-text-color: #bbb;--minima-table-zebra-color: #222;--minima-table-header-bg-color: #323232;--minima-table-header-border: #3e3e3e;--minima-table-border-color: #2b2b2b}[data-theme="dark"] .highlight .c{color:#8a8a8a}[data-theme="dark"] .highlight .err{color:#e3d2d2;background-color:#8c2121}[data-theme="dark"] .highlight .k{color:#d85a7b;font-weight:bold}[data-theme="dark"] .highlight .o{color:#bcd890;font-weight:bold}[data-theme="dark"] .highlight .cm{color:#8a8a8a;font-style:italic}[data-theme="dark"] .highlight .cp{color:#8a8a8a;font-weight:bold}[data-theme="dark"] .highlight .c1{color:#8a8a8a;font-style:italic}[data-theme="dark"] .highlight .cs{color:#8a8a8a;font-weight:bold;font-style:italic}[data-theme="dark"] .highlight .gd{color:#d85a5a;background-color:#3a1a1a}[data-theme="dark"] .highlight .gd .x{color:#d85a5a;background-color:#4a1a1a}[data-theme="dark"] .highlight .ge{font-style:italic}[data-theme="dark"] .highlight .gr{color:#f07178}[data-theme="dark"] .highlight .gh{color:#999}[data-theme="dark"] .highlight .gi{color:#4ec64e;background-color:#1a3a1a}[data-theme="dark"] .highlight .gi .x{color:#4ec64e;background-color:#1a4a1a}[data-theme="dark"] .highlight .go{color:#888}[data-theme="dark"] .highlight .gp{color:#aaa}[data-theme="dark"] .highlight .gs{font-weight:bold}[data-theme="dark"] .highlight .gu{color:#aaa}[data-theme="dark"] .highlight .gt{color:#f07178}[data-theme="dark"] .highlight .kc{color:#d85a7b;font-weight:bold}[data-theme="dark"] .highlight .kd{color:#d85a7b;font-weight:bold}[data-theme="dark"] .highlight .kp{color:#d85a7b;font-weight:bold}[data-theme="dark"] .highlight .kr{color:#d85a7b;font-weight:bold}[data-theme="dark"] .highlight .kt{color:#ffcb6b;font-weight:bold}[data-theme="dark"] .highlight .m{color:#9d99e6}[data-theme="dark"] .highlight .s{color:#baa94a}[data-theme="dark"] .highlight .na{color:#11a69f}[data-theme="dark"] .highlight .nb{color:#82aaff}[data-theme="dark"] .highlight .nc{color:#11a69f;font-weight:bold}[data-theme="dark"] .highlight .no{color:#9d99e6}[data-theme="dark"] .highlight .ni{color:#c792ea}[data-theme="dark"] .highlight .ne{color:#f07178;font-weight:bold}[data-theme="dark"] .highlight .nf{color:#5ab780;font-weight:bold}[data-theme="dark"] .highlight .nn{color:#aaa}[data-theme="dark"] .highlight .nt{color:#de3581}[data-theme="dark"] .highlight .nv{color:#9680b1}[data-theme="dark"] .highlight .ow{color:#bcd890;font-weight:bold}[data-theme="dark"] .highlight .w{color:#bbb}[data-theme="dark"] .highlight .mf{color:#9d99e6}[data-theme="dark"] .highlight .mh{color:#9d99e6}[data-theme="dark"] .highlight .mi{color:#9d99e6}[data-theme="dark"] .highlight .mo{color:#9d99e6}[data-theme="dark"] .highlight .sb{color:#baa94a}[data-theme="dark"] .highlight .sc{color:#baa94a}[data-theme="dark"] .highlight .sd{color:#baa94a}[data-theme="dark"] .highlight .s2{color:#baa94a}[data-theme="dark"] .highlight .se{color:#baa94a}[data-theme="dark"] .highlight .sh{color:#baa94a}[data-theme="dark"] .highlight .si{color:#baa94a}[data-theme="dark"] .highlight .sx{color:#baa94a}[data-theme="dark"] .highlight .sr{color:#5ab780}[data-theme="dark"] .highlight .s1{color:#baa94a}[data-theme="dark"] .highlight .ss{color:#3c90f5}[data-theme="dark"] .highlight .bp{color:#999}[data-theme="dark"] .highlight .vc{color:#9680b1}[data-theme="dark"] .highlight .vg{color:#9680b1}[data-theme="dark"] .highlight .vi{color:#9680b1}[data-theme="dark"] .highlight .il{color:#9d99e6}[data-theme="dark"] .highlight .lineno,[data-theme="dark"] .highlight .gl{color:#8a8a8a}[data-theme="dark"] .highlight .hll{background-color:#373730}@media (prefers-color-scheme: dark){:root:not([data-theme]){--minima-seqan-color: #322C01;--minima-site-footer-color: #ccc;--minima-site-footer-link-base-color: #999;--minima-site-footer-link-visited-color: #999;--minima-site-footer-link-hover-color: #fede09;--minima-site-footer-background-color: #1a1a1a;--minima-brand-color: #999;--minima-brand-color-light: #a6a6a6;--minima-brand-color-dimmed: #858585;--minima-brand-color-dark: #2b2b2b;--minima-site-title-color: #a6a6a6;--minima-heading-color: #ddd;--minima-text-color: #bbb;--minima-background-color: #181818;--minima-code-background-color: #252535;--minima-link-base-color: #6ba3e8;--minima-link-visited-color: #8bb8ef;--minima-link-hover-color: #fede09;--minima-border-color-01: #2b2b2b;--minima-border-color-02: #a6a6a6;--minima-border-color-03: #999;--minima-table-text-color: #bbb;--minima-table-zebra-color: #222;--minima-table-header-bg-color: #323232;--minima-table-header-border: #3e3e3e;--minima-table-border-color: #2b2b2b}:root:not([data-theme]) .highlight .c{color:#8a8a8a}:root:not([data-theme]) .highlight .err{color:#e3d2d2;background-color:#8c2121}:root:not([data-theme]) .highlight .k{color:#d85a7b;font-weight:bold}:root:not([data-theme]) .highlight .o{color:#bcd890;font-weight:bold}:root:not([data-theme]) .highlight .cm{color:#8a8a8a;font-style:italic}:root:not([data-theme]) .highlight .cp{color:#8a8a8a;font-weight:bold}:root:not([data-theme]) .highlight .c1{color:#8a8a8a;font-style:italic}:root:not([data-theme]) .highlight .cs{color:#8a8a8a;font-weight:bold;font-style:italic}:root:not([data-theme]) .highlight .gd{color:#d85a5a;background-color:#3a1a1a}:root:not([data-theme]) .highlight .gd .x{color:#d85a5a;background-color:#4a1a1a}:root:not([data-theme]) .highlight .ge{font-style:italic}:root:not([data-theme]) .highlight .gr{color:#f07178}:root:not([data-theme]) .highlight .gh{color:#999}:root:not([data-theme]) .highlight .gi{color:#4ec64e;background-color:#1a3a1a}:root:not([data-theme]) .highlight .gi .x{color:#4ec64e;background-color:#1a4a1a}:root:not([data-theme]) .highlight .go{color:#888}:root:not([data-theme]) .highlight .gp{color:#aaa}:root:not([data-theme]) .highlight .gs{font-weight:bold}:root:not([data-theme]) .highlight .gu{color:#aaa}:root:not([data-theme]) .highlight .gt{color:#f07178}:root:not([data-theme]) .highlight .kc{color:#d85a7b;font-weight:bold}:root:not([data-theme]) .highlight .kd{color:#d85a7b;font-weight:bold}:root:not([data-theme]) .highlight .kp{color:#d85a7b;font-weight:bold}:root:not([data-theme]) .highlight .kr{color:#d85a7b;font-weight:bold}:root:not([data-theme]) .highlight .kt{color:#ffcb6b;font-weight:bold}:root:not([data-theme]) .highlight .m{color:#9d99e6}:root:not([data-theme]) .highlight .s{color:#baa94a}:root:not([data-theme]) .highlight .na{color:#11a69f}:root:not([data-theme]) .highlight .nb{color:#82aaff}:root:not([data-theme]) .highlight .nc{color:#11a69f;font-weight:bold}:root:not([data-theme]) .highlight .no{color:#9d99e6}:root:not([data-theme]) .highlight .ni{color:#c792ea}:root:not([data-theme]) .highlight .ne{color:#f07178;font-weight:bold}:root:not([data-theme]) .highlight .nf{color:#5ab780;font-weight:bold}:root:not([data-theme]) .highlight .nn{color:#aaa}:root:not([data-theme]) .highlight .nt{color:#de3581}:root:not([data-theme]) .highlight .nv{color:#9680b1}:root:not([data-theme]) .highlight .ow{color:#bcd890;font-weight:bold}:root:not([data-theme]) .highlight .w{color:#bbb}:root:not([data-theme]) .highlight .mf{color:#9d99e6}:root:not([data-theme]) .highlight .mh{color:#9d99e6}:root:not([data-theme]) .highlight .mi{color:#9d99e6}:root:not([data-theme]) .highlight .mo{color:#9d99e6}:root:not([data-theme]) .highlight .sb{color:#baa94a}:root:not([data-theme]) .highlight .sc{color:#baa94a}:root:not([data-theme]) .highlight .sd{color:#baa94a}:root:not([data-theme]) .highlight .s2{color:#baa94a}:root:not([data-theme]) .highlight .se{color:#baa94a}:root:not([data-theme]) .highlight .sh{color:#baa94a}:root:not([data-theme]) .highlight .si{color:#baa94a}:root:not([data-theme]) .highlight .sx{color:#baa94a}:root:not([data-theme]) .highlight .sr{color:#5ab780}:root:not([data-theme]) .highlight .s1{color:#baa94a}:root:not([data-theme]) .highlight .ss{color:#3c90f5}:root:not([data-theme]) .highlight .bp{color:#999}:root:not([data-theme]) .highlight .vc{color:#9680b1}:root:not([data-theme]) .highlight .vg{color:#9680b1}:root:not([data-theme]) .highlight .vi{color:#9680b1}:root:not([data-theme]) .highlight .il{color:#9d99e6}:root:not([data-theme]) .highlight .lineno,:root:not([data-theme]) .highlight .gl{color:#8a8a8a}:root:not([data-theme]) .highlight .hll{background-color:#373730}}html{font-size:16px}body,h1,h2,h3,h4,h5,h6,p,blockquote,pre,hr,dl,dd,ol,ul,figure{margin:0;padding:0}body{font:400 16px/1.5 -apple-system,system-ui,BlinkMacSystemFont,"Segoe UI","Segoe UI Emoji","Segoe UI Symbol","Apple Color Emoji",Roboto,Helvetica,Arial,sans-serif;color:var(--minima-text-color);background-color:var(--minima-background-color);-webkit-text-size-adjust:100%;-webkit-font-feature-settings:"kern" 1;-moz-font-feature-settings:"kern" 1;-o-font-feature-settings:"kern" 1;font-feature-settings:"kern" 1;font-kerning:normal;display:flex;min-height:100vh;flex-direction:column;overflow-wrap:break-word}h1,h2,h3,h4,h5,h6,p,blockquote,pre,ul,ol,dl,figure,div.highlight,figure.highlight{margin-bottom:15px}hr{margin-top:30px;margin-bottom:30px}main{display:block}img{max-width:100%;vertical-align:middle}figure>img{display:block}figcaption{font-size:14px}ul,ol{margin-left:30px}li>ul,li>ol{margin-bottom:0}h1,h2,h3,h4,h5,h6{color:var(--minima-heading-color);font-weight:500}a{color:var(--minima-link-base-color);text-decoration:none}a:visited{color:var(--minima-link-visited-color)}a:hover{color:var(--minima-link-hover-color);text-decoration:underline var(--minima-brand-color);text-underline-offset:3px}.various-media-list a:hover{text-decoration:none}.various-media-list a:hover .username{text-decoration:underline}blockquote{color:var(--minima-brand-color);border-left:4px solid var(--minima-border-color-01);padding-left:15px;font-size:1.05rem;font-style:italic}blockquote>:last-child{margin-bottom:0}blockquote i,blockquote em{font-style:normal}pre,code{font-family:"Menlo","Inconsolata","Consolas","Roboto Mono","Ubuntu Mono","Liberation Mono","Courier New",monospace;background-color:var(--minima-code-background-color)}@media screen and (max-width: 600px){pre,code{font-family:monospace}}pre{padding:8px 12px;font-size:15px;line-height:1.4;color:var(--minima-heading-color);overflow-x:auto}pre>code{display:inline-block;width:100%}div.highlight,figure.highlight{border:1px solid var(--minima-border-color-01);border-radius:3px}div.highlight pre,figure.highlight pre{margin:0}div.highlight table,div.highlight tbody,div.highlight th,div.highlight tr,div.highlight td,figure.highlight table,figure.highlight tbody,figure.highlight th,figure.highlight tr,figure.highlight td{margin:0;padding:0;border:0}div.highlight .lineno,div.highlight .gl,figure.highlight .lineno,figure.highlight .gl{text-align:right}figure.highlight table{margin:-8px -12px -14px}figure.highlight td.gutter{border-right:1px solid var(--minima-border-color-01)}figure.highlight td.code{width:100%}code.highlighter-rouge{padding:1px 5px;font-size:14px;border:1px solid var(--minima-border-color-01);border-radius:3px}.wrapper{max-width:1024px;margin:0 auto;padding:0 30px}@media screen and (max-width: 600px){.wrapper{padding-right:18px;padding-left:18px}}.wrapper:after{content:"";display:table;clear:both}.orange{color:#f66a0a}.grey{color:#828282}.svg-icon{width:32px;height:32px;display:inline-block;fill:currentColor;vertical-align:text-bottom;overflow:visible}table{margin-bottom:30px;width:100%;text-align:left;color:var(--minima-table-text-color);border-collapse:collapse;border:1px solid var(--minima-table-border-color)}table tr:nth-child(even){background-color:var(--minima-table-zebra-color)}table th,table td{padding:10px 15px}table th{background-color:var(--minima-table-header-bg-color);border:1px solid var(--minima-table-header-border)}table td{border:1px solid var(--minima-table-border-color)}@media screen and (max-width: 800px){table{display:block;overflow-x:auto;-webkit-overflow-scrolling:touch;-ms-overflow-style:-ms-autohiding-scrollbar}}.site-header{position:relative;width:100%;min-height:55.95px;line-height:54px;background-color:var(--minima-background-color);border-top:5px solid var(--minima-border-color-03);border-bottom:1px solid var(--minima-border-color-01)}.site-title{font-size:1.625rem;font-weight:300;letter-spacing:-1px;margin-bottom:0;float:left}@media screen and (max-width: 600px){.site-title{padding-right:45px}}.site-title,.site-title:visited{color:var(--minima-site-title-color)}.site-nav{float:right;border:none;background-color:inherit}.site-nav label[for="nav-trigger"],.site-nav #nav-trigger{display:none}.site-nav .nav-item{color:var(--minima-text-color)}.site-nav .nav-item:not(:last-child){margin-right:15px}@media screen and (max-width: 600px){.site-nav{position:absolute;top:9px;right:18px;background-color:var(--minima-background-color);border:1px solid var(--minima-border-color-01);border-radius:5px;text-align:right}.site-nav label[for="nav-trigger"]{display:block;float:right;width:36px;height:36px;cursor:pointer}.site-nav .menu-icon{float:right;width:24px;height:24px;line-height:0;padding-top:6px;text-align:center;padding-right:6px}.site-nav .menu-icon::before{font-family:"Font Awesome 6 Free";font-weight:900}.site-nav .menu-icon>svg path{fill:var(--minima-border-color-03)}.site-nav #nav-trigger ~ label[for=nav-trigger] .menu-icon::before{content:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 640 640'%3E%3C!--!Font Awesome Free v7.2.0 by @fontawesome - https://fontawesome.com License - https://fontawesome.com/license/free Copyright 2026 Fonticons, Inc.--%3E%3Cpath d='M96 160C96 142.3 110.3 128 128 128L512 128C529.7 128 544 142.3 544 160C544 177.7 529.7 192 512 192L128 192C110.3 192 96 177.7 96 160zM96 320C96 302.3 110.3 288 128 288L512 288C529.7 288 544 302.3 544 320C544 337.7 529.7 352 512 352L128 352C110.3 352 96 337.7 96 320zM544 480C544 497.7 529.7 512 512 512L128 512C110.3 512 96 497.7 96 480C96 462.3 110.3 448 128 448L512 448C529.7 448 544 462.3 544 480z'/%3E%3C/svg%3E")}.site-nav #nav-trigger ~ .nav-items{clear:both;display:none}.site-nav #nav-trigger:checked ~ label[for=nav-trigger] .menu-icon::before{content:url("data:image/svg+xml,%3Csvg xmlns='http://www.w3.org/2000/svg' viewBox='0 0 352 512'%3E%3C!--!Font Awesome Free v5.15.4 by @fontawesome - https://fontawesome.com License - https://fontawesome.com/license/free Copyright 2026 Fonticons, Inc.--%3E%3Cpath d='M242.72 256l100.07-100.07c12.28-12.28 12.28-32.19 0-44.48l-22.24-22.24c-12.28-12.28-32.19-12.28-44.48 0L176 189.28 75.93 89.21c-12.28-12.28-32.19-12.28-44.48 0L9.21 111.45c-12.28 12.28-12.28 32.19 0 44.48L109.28 256 9.21 356.07c-12.28 12.28-12.28 32.19 0 44.48l22.24 22.24c12.28 12.28 32.2 12.28 44.48 0L176 322.72l100.07 100.07c12.28 12.28 32.2 12.28 44.48 0l22.24-22.24c12.28-12.28 12.28-32.19 0-44.48L242.72 256z'/%3E%3C/svg%3E")}.site-nav #nav-trigger:checked ~ .nav-items{display:block;padding-bottom:5px}.site-nav #nav-trigger:checked ~ .nav-items .nav-item{margin-left:20px;padding:5px 10px}.site-nav .nav-item{display:block;padding:5px 0;color:var(--minima-text-color);line-height:1.5}}.site-footer{border-top:1px solid var(--minima-border-color-01);padding:30px 0 15px 0}.footer-heading{font-size:1.125rem;margin-bottom:15px}.feed-subscribe .svg-icon{padding:5px 5px 2px 0}.contact-list,.various-media-list{list-style:none;margin-left:0}.footer-col-wrapper,.various-links{font-size:.9375rem;color:var(--minima-brand-color-dimmed)}.footer-col{margin-bottom:15px}.footer-col-1,.footer-col-2{width:calc(50% - (30px / 2))}.footer-col-3{width:calc(100% - (30px / 2))}@media screen and (min-width: 800px){.footer-col-1{width:calc(35% - (30px / 2))}.footer-col-2{width:calc(20% - (30px / 2))}.footer-col-3{width:calc(45% - (30px / 2))}}@media screen and (min-width: 600px){.footer-col-wrapper{display:flex}.footer-col{width:calc(100% - (30px / 2));padding:0 15px}.footer-col:first-child{padding-right:15px;padding-left:0}.footer-col:last-child{padding-right:0;padding-left:15px}}.page-content{padding:30px 0;flex:1 0 auto}.page-heading{font-size:2rem}.post-list-heading{font-size:1.75rem}.post-list{margin-left:0;list-style:none}.post-list>li{margin-bottom:30px}.post-meta{font-size:14px;color:var(--minima-brand-color-dimmed)}.post-link{display:block;font-size:1.5rem}.post-header{margin-bottom:30px;padding-bottom:18px;text-align:center;border-bottom:1px solid var(--minima-border-color-01)}.post-meta .bullet-divider{padding-inline:15px}.post-meta .meta-label{font-weight:600}.post-meta .force-inline{display:inline}.post-meta .force-inline::before{content:"•";padding-inline:5px}.post-meta .post-authors{margin-top:3px}.post-title,.post-content h1{margin-bottom:10px;font-size:2.625rem;font-weight:400;letter-spacing:-1px;line-height:1.15}@media screen and (min-width: 800px){.post-title,.post-content h1{font-size:2.625rem}}.post-content{margin-bottom:30px}.post-content h1,.post-content h2,.post-content h3,.post-content h4,.post-content h5,.post-content h6{margin-top:30px}.post-content h2{font-size:1.75rem}@media screen and (min-width: 800px){.post-content h2{font-size:2rem}}.post-content h3{font-size:1.375rem}@media screen and (min-width: 800px){.post-content h3{font-size:1.625rem}}.post-content h4{font-size:1.25rem}.post-content h5{font-size:1.125rem}.post-content h6{font-size:1.0625rem}.comments-disabled-message{text-align:center;font-weight:300}.various-media-list{display:table;margin:0 auto}.various-media-list li{float:left;min-width:32px;min-height:32px;text-align:center;margin:5px 10px 5px 0}.various-media-list li:last-of-type{margin-right:0}.various-media-list li a{display:block;padding:10px 12px;border:1px solid rgba(130,130,130,0.5)}.various-media-list li a:hover{border-color:rgba(219,219,219,0.5)}.pagination{display:table;margin:0 auto;list-style-type:none}.pagination li{float:left;margin:0 3px;min-width:45px;min-height:45px;text-align:center}.pagination li a{display:block;text-decoration:none;border:1px solid var(--minima-border-color-01)}.pagination li a:hover{border-color:var(--minima-border-color-02)}.pagination li a,.pagination li div{min-width:41px;padding:10px 12px;text-align:center;box-sizing:border-box}.pagination li div{border:1px solid transparent}.pagination li div.pager-edge{color:var(--minima-border-color-01);border:1px dashed}.pagination li div.current-page{font-weight:bold}.task-list{margin-left:0;padding-left:18px}.task-list-item{list-style-type:none}.task-list-item-checkbox{position:relative;margin-right:9px;margin-left:-15px;appearance:none;border:8px solid var(--minima-border-color-01);vertical-align:text-top;z-index:-1}.task-list-item-checkbox::after{position:absolute;top:-8px;left:-3px;width:4px;height:10px;content:"";border:solid transparent;border-width:0 2px 2px 0;transform:rotate(45deg)}.task-list-item-checkbox:checked::after{border-color:var(--minima-border-color-03)}@media screen and (min-width: 800px){.one-half{width:calc(50% - (30px / 2))}}.site-logo{max-height:44px;padding:5px}[data-theme="dark"] .site-logo{filter:drop-shadow(0 0 2px var(--minima-link-hover-color))}@media (prefers-color-scheme: dark){:root:not([data-theme]) .site-logo{filter:drop-shadow(0 0 2px var(--minima-link-hover-color))}}.site-header{position:-webkit-sticky;position:sticky;top:0px;background:var(--minima-background-color);z-index:99999;border:0px solid black}@media screen and (max-width: 600px){.site-header{position:static}}.theme-toggle{display:inline-block;background:none;border:none;cursor:pointer;font-size:1.2em;padding:8px 12px;margin-left:10px;vertical-align:middle;line-height:1;transition:transform 0.2s ease}.theme-toggle:hover{transform:scale(1.2)}.theme-toggle:focus{outline:2px solid var(--minima-seqan-color);outline-offset:2px}.theme-toggle .theme-toggle-icon{display:inline-block}@media screen and (max-width: 600px){.theme-toggle{padding:5px 8px;margin-left:5px}}.site-footer{background-color:var(--minima-site-footer-background-color)}.site-footer a{color:var(--minima-site-footer-link-base-color);text-decoration:none}.site-footer a:visited{color:var(--minima-site-footer-link-visited-color)}.site-footer a:hover{color:var(--minima-site-footer-link-hover-color);text-decoration:underline}.footer-col-wrapper{color:var(--minima-site-footer-color)}.page-header{background-position:50% 50%;background-repeat:no-repeat;background-size:cover;height:234px;height:50vw;min-height:200px;max-height:234px}.page-header-map{height:500px;height:50vw;max-height:500px}.app-image{background-position:50% 50%;background-repeat:no-repeat;background-size:contain;height:434px;height:50vw;min-height:200px;max-height:434px}main{position:relative}@media screen and (prefers-reduced-motion: no-preference){html{scroll-behavior:smooth}}.back-to-top-wrapper{clip:rect(0px, 48px, auto, 0);position:absolute;top:100vh;right:30px;bottom:-1px;width:48px;pointer-events:none}.back-to-top-link{display:inline-block;text-decoration:none;font-size:2em;line-height:35px;text-align:center;width:48px;height:35px;border-radius:6px 6px 0 0;background-color:var(--minima-site-footer-background-color);/*! padding: 0.25rem; */;position:fixed;position:-webkit-sticky;position:sticky;pointer-events:all;top:calc(100vh - 35px);opacity:0.9;color:var(--minima-site-footer-color) !important;text-decoration:none !important}.back-to-top-link:hover,.back-to-top-link:focus{background-color:var(--minima-seqan-color);color:var(--minima-text-color) !important}.button{padding:13px 19px;text-align:center}.button,.button:visited,.button:hover{color:var(--minima-text-color);text-decoration:none}.button-lightgray{border:1px solid var(--minima-border-color-01);background:var(--minima-border-color-01)}.button-lightgray:hover{border:1px solid var(--minima-seqan-color);background:var(--minima-seqan-color);color:var(--minima-text-color)}.button-lightgray:active,.button-lightgray:focus{border:1px solid var(--minima-border-color-01);background:var(--minima-seqan-color);color:var(--minima-text-color)}.button-full-width{display:block}.denbi-survey{display:flex;flex-flow:row wrap;align-items:center;justify-content:space-between;gap:15px;box-sizing:border-box;margin-bottom:30px;padding:15px;border:1px solid var(--minima-border-color-01);border-left:4px solid var(--minima-seqan-color)}.denbi-survey-text{flex:1 1 260px;margin-bottom:0}.denbi-survey-button{flex:0 0 auto;white-space:nowrap}@media screen and (max-width: 600px){.denbi-survey-button{width:100%;box-sizing:border-box}}.heading-entries{display:flex;flex-flow:row wrap;margin-left:-1.5em}.heading-entry,.heading-body{display:flex;flex-flow:column nowrap}.heading-body,.heading-text{flex:auto}.heading-entry{border:1px solid var(--minima-seqan-color);margin-top:1em;margin-left:1.5em;box-sizing:border-box;width:calc(100% / 3 - 1.5em)}@media screen and (max-width: 800px){.heading-entry{width:calc(100% / 2 - 1.5em)}}@media screen and (max-width: 600px){.heading-entry{width:100%}}.heading-entries{margin-bottom:30px}.heading-header{font-size:1.25em;text-align:center;text-transform:uppercase}.heading-link{display:block}.heading-link:hover .heading-icon,.heading-link:focus .heading-icon{background:#9e9e9e}.heading-icon{box-sizing:border-box;width:100px;height:100px;line-height:100px;margin:15px auto;border-radius:50%;background:var(--minima-seqan-color);transition:background-color .3s, color .3s;display:flex;justify-content:center;align-items:center}.heading-icon img{object-fit:contain;height:70px;width:75px;filter:invert(1) drop-shadow(1px 1px #d3b801)}[data-theme="dark"] .heading-icon img{filter:invert(0) drop-shadow(1px 1px #4b4202)}@media (prefers-color-scheme: dark){:root:not([data-theme]) .heading-icon img{filter:invert(0) drop-shadow(1px 1px #4b4202)}}.heading-body{padding:15px 15px 15px}.news-entries{display:flex;flex-flow:row wrap;margin-left:-1.5em}.news-entry,.news-body{display:flex;flex-flow:column nowrap}.news-body,.news-text{flex:auto}.news-entry{border:1px solid var(--minima-seqan-color);margin-top:1em;margin-left:1.5em;box-sizing:border-box;width:calc(100% / 3 - 1.5em)}@media screen and (max-width: 800px){.news-entry{width:calc(100% / 2 - 1.5em)}}@media screen and (max-width: 600px){.news-entry{width:100%}}.news-body{padding:0em 0.75em 0.75em}.news-header{font-size:1.25em;color:var(--minima-text-color)}.news-date-month-year{background:var(--minima-seqan-color);padding:1em 0em;text-transform:uppercase;text-align:center}.news-date-day{color:var(--minima-text-color);font-size:2.25em;font-weight:bold;margin:0 auto;position:relative;text-align:center;line-height:0.5em;vertical-align:middle;width:2.5em;height:1.5em}.news-date-day::before{display:block;content:"";width:2.5em;height:2.5em;border-radius:50%;background:var(--minima-seqan-color);position:absolute;z-index:-1;left:0px;top:-1.5em}.news-title{font-size:1.5em;text-transform:uppercase;text-align:center;margin-bottom:0.75em}.news-text{min-height:150px}.person-summary{padding:0.5em;font-size:1.5rem;border-radius:6px;margin-bottom:30px;outline:none}.person-summary:hover,details.person[open] .person-summary{background-color:var(--minima-seqan-color);transition:0.2s}.person-avatar{object-fit:cover;height:3.5em;width:3.5em;margin-right:15px;border-radius:50%}.person-bio{margin-left:30px;margin-right:30px}details.person[open]{border-bottom:1px solid var(--minima-seqan-color);margin-bottom:30px}.person-name-position{display:inline-block;vertical-align:middle}.person-name,.person-position{display:block}.person-social{margin-right:15px}.person-social,.person .various-media-list{display:inline-block}.person .various-media-list{vertical-align:middle}.citation{color:var(--minima-brand-color)}.bibtex{position:relative}.copy-bibtex{position:absolute;top:0.5em;right:0.5em;padding:0.2em 0.6em;font-family:inherit;font-size:0.8em;color:var(--minima-text-color);background-color:var(--minima-background-color);border:1px solid var(--minima-border-color-01);border-radius:3px;cursor:pointer}.copy-bibtex:hover{background-color:var(--minima-seqan-color)}.copy-bibtex:focus{outline:2px solid var(--minima-seqan-color);outline-offset:2px}.fig-caption{color:var(--minima-brand-color)}.figures{display:flex}@media screen and (max-width: 600px){.figures{flex-wrap:wrap}}.seqan-version-badge-2,.seqan-version-badge-3{border-radius:2px;font-size:80%;padding:2px}.seqan-version-badge-2{color:#000;background-color:#FDFD96;border:1px solid #fbfb32}.seqan-version-badge-3{color:#000;background-color:greenyellow;border:1px solid #7cc07c}