/* Theme on top of Pico CSS v2 (pico.min.css, self-hosted). Hopsworks palette
   (green #21b182, neutral greys), Inter (self-hosted, OFL), flat cards with a
   1px border, segmented tabs. Only the widgets Pico has no idiom for are styled
   from scratch: KPI cards, tabs, notes, badges, pills. */
@font-face{font-family:Inter;src:url(inter.woff2) format("woff2");font-weight:100 900;font-display:swap}
:root{
  --pico-font-family-sans-serif:Inter,ui-sans-serif,system-ui,-apple-system,"Segoe UI",Roboto,sans-serif;--pico-font-family:var(--pico-font-family-sans-serif);
  --pico-font-family-monospace:ui-monospace,"SF Mono",Menlo,Consolas,monospace;
  --pico-font-size:14.5px;--pico-line-height:1.5;--pico-font-weight:400;
  --pico-spacing:.8rem;--pico-block-spacing-vertical:.9rem;--pico-block-spacing-horizontal:1rem;--pico-typography-spacing-vertical:.6rem;
  --pico-form-element-spacing-vertical:.45rem;--pico-form-element-spacing-horizontal:.7rem;--pico-border-radius:8px;--pico-border-width:1px;
  --brand:#21b182;--brand-dark:#1a9a70;--brand-light:#65d3af;--brand-tint:#e6f2ee;
  --pico-primary:var(--brand-dark);--pico-primary-background:var(--brand);--pico-primary-border:var(--brand);--pico-primary-underline:rgba(33,177,130,.5);
  --pico-primary-hover:var(--brand-dark);--pico-primary-hover-background:var(--brand-dark);--pico-primary-hover-border:var(--brand-dark);--pico-primary-focus:rgba(33,177,130,.3);--pico-primary-inverse:#fff;
  --pico-background-color:#f7f8fa;--pico-color:#1a1a1a;--pico-h1-color:#101828;--pico-h2-color:#101828;--pico-muted-color:#6a7282;--pico-muted-border-color:#e5e7eb;
  --pico-card-background-color:#fff;--pico-card-border-color:#e5e7eb;--pico-card-box-shadow:none;--pico-card-sectioning-background-color:#fafafa;
  --pico-form-element-background-color:#fff;--pico-form-element-border-color:#d1d5dc;--pico-form-element-active-border-color:var(--brand);--pico-form-element-focus-color:rgba(33,177,130,.25);--pico-form-element-placeholder-color:#99a1af;
  --pico-table-border-color:#e5e7eb;--pico-table-row-stripped-background-color:#fafafa;
  --pico-code-background-color:#f3f4f6;--pico-code-color:#364153;--pico-code-kbd-background-color:#f3f4f6;
  --pico-accordion-border-color:#e5e7eb;--pico-accordion-active-summary-color:#101828;--pico-accordion-open-summary-color:#101828;
  --surface-2:#f3f4f6;--surface-3:#e5e7eb;--ink-2:#364153;
  --ok:#1f9e6e;--ok-bg:#e6f2ee;--ok-line:#9fdcc4;--warn:#b7791f;--warn-bg:#fff8e6;--warn-line:#f3d9a0;--bad:#d64545;--bad-bg:#fdecec;--bad-line:#f4b4b4}
@media (prefers-color-scheme:dark){:root:not([data-theme=light]){
  --pico-background-color:#0a0a0a;--pico-color:#f0f0f0;--pico-h1-color:#fafafa;--pico-h2-color:#fafafa;--pico-muted-color:#99a1af;--pico-muted-border-color:#262626;
  --pico-card-background-color:#171717;--pico-card-border-color:#262626;--pico-card-sectioning-background-color:#1f1f1f;
  --pico-form-element-background-color:#171717;--pico-form-element-border-color:#364153;--pico-form-element-placeholder-color:#6a7282;
  --pico-table-border-color:#262626;--pico-table-row-stripped-background-color:#141414;--pico-code-background-color:#262626;--pico-code-color:#d1d5dc;
  --pico-accordion-border-color:#262626;--pico-primary:var(--brand-light);--pico-primary-hover:var(--brand-light);
  --surface-2:#1f1f1f;--surface-3:#262626;--ink-2:#d1d5dc;
  --ok:#4cc38a;--ok-bg:#0f2a20;--ok-line:#1f5a42;--warn:#e0a23a;--warn-bg:#2a2010;--warn-line:#5a4520;--bad:#f0655e;--bad-bg:#2a1414;--bad-line:#5a2626}}
body{-webkit-font-smoothing:antialiased}
main.container,header.container{max-width:1040px}
/* header */
header.container{padding:.55rem 0 0;position:sticky;top:0;background:var(--pico-background-color);z-index:2}header nav{border-bottom:1px solid var(--pico-muted-border-color);padding-bottom:.55rem}
header nav ul{gap:.15rem}header nav li{padding:0 .35rem}header nav a:not(.brand){color:var(--ink-2);text-decoration:none;font-weight:500;padding:.35rem .6rem;border-radius:6px}header nav a:not(.brand):hover{background:var(--surface-2);color:var(--pico-color)}
a.brand{display:inline-flex;align-items:center;gap:.5rem;color:var(--pico-h1-color);text-decoration:none;font-weight:650;letter-spacing:-.01em;padding:.35rem .35rem .35rem 0}a.brand small{font-weight:500;color:var(--pico-muted-color);margin-left:-.2rem}
a.brand .dot{width:10px;height:10px;border-radius:50%;background:var(--brand);box-shadow:0 0 0 3px var(--brand-tint)}
header nav form{margin:0}
/* type */
h1{font-size:1.7rem;font-weight:700;letter-spacing:-.02em;margin-bottom:.1rem}hgroup>p{font-size:.92rem;color:var(--pico-muted-color)}
h2{font-size:1rem;font-weight:650;letter-spacing:-.005em;margin:1.7rem 0 .15rem}
p.help{color:var(--pico-muted-color);font-size:.86rem;margin-bottom:.75rem;max-width:72ch}p.lead{margin:.2rem 0 .9rem;max-width:80ch;color:var(--ink-2)}
.titlebar{display:flex;align-items:flex-start;justify-content:space-between;gap:1rem;margin-top:1.1rem}.titlebar hgroup{margin-bottom:.3rem}.titlebar form{margin:.35rem 0 0}
.status{display:inline-flex;align-items:center;gap:.4rem;font-weight:500}.status i{width:8px;height:8px;border-radius:50%;background:currentColor;display:inline-block}
.muted{color:var(--pico-muted-color)}.ok{color:var(--ok)}.warn{color:var(--warn)}.bad{color:var(--bad)}.nowrap{white-space:nowrap}
a{text-decoration-thickness:1px;text-underline-offset:2px}
/* buttons */
button{width:auto;margin-bottom:0;font-weight:500;padding:.5rem .95rem;font-size:.9rem}button.sm{padding:.36rem .8rem;font-size:.85rem}
button.secondary.outline{--pico-color:var(--ink-2);--pico-border-color:var(--pico-form-element-border-color);--pico-background-color:var(--pico-card-background-color)}
button.secondary.outline:hover{--pico-color:var(--pico-color);--pico-background-color:var(--surface-2);--pico-border-color:var(--pico-form-element-border-color)}
button.danger{--pico-color:var(--bad);--pico-border-color:var(--bad-line);--pico-background-color:var(--pico-card-background-color)}button.danger:hover{--pico-color:var(--bad);--pico-border-color:var(--bad);--pico-background-color:var(--bad-bg)}
/* tables */
table{font-size:.9rem}th{font-size:.72rem;text-transform:uppercase;letter-spacing:.06em;color:var(--pico-muted-color);font-weight:600;padding:.45rem .7rem}
td{padding:.6rem .7rem;vertical-align:middle}tbody tr:hover td{background:var(--surface-2)}table.striped tbody tr:hover td{background:var(--surface-2)}
td.act{text-align:right;white-space:nowrap}td.act form{display:inline-block;margin:0 0 0 .3rem}tr.editrow td{padding-top:0;border-bottom-width:2px}tr.editrow td:hover{background:transparent}tr.editrow details{margin:0}
/* tabs: segmented control */
nav.tabs{margin:.2rem 0 1.1rem}nav.tabs ul{display:inline-flex;flex-wrap:wrap;gap:2px;background:var(--surface-2);border-radius:10px;padding:3px}
nav.tabs li{padding:0}nav.tabs a{display:block;padding:.38rem .85rem;color:var(--pico-muted-color);text-decoration:none;border-radius:8px;font-weight:500;font-size:.9rem}
nav.tabs a[aria-current]{color:var(--pico-h1-color);background:var(--pico-card-background-color);box-shadow:0 1px 2px rgba(16,24,40,.08),0 0 0 1px var(--pico-muted-border-color)}nav.tabs a:hover:not([aria-current]){color:var(--pico-color)}
.badge{display:inline-block;min-width:18px;padding:0 6px;border-radius:999px;background:var(--warn);color:#fff;font-size:.72rem;text-align:center;font-weight:600;vertical-align:1px;margin-left:.15rem}
/* cards */
article{border:1px solid var(--pico-card-border-color)}
.kpis{--pico-grid-column-gap:.6rem;margin-bottom:.9rem}@media (min-width:768px){.kpis{grid-template-columns:repeat(5,1fr)}}
.kpis article{margin:0;padding:.75rem .95rem .7rem;display:flex;flex-direction:column;gap:.15rem}
.kpis small{font-size:.72rem;text-transform:uppercase;letter-spacing:.06em;color:var(--pico-muted-color);font-weight:600}
.kpis b{font-size:1.45rem;font-weight:650;line-height:1.2;letter-spacing:-.02em;font-variant-numeric:tabular-nums}.kpis b em{font-style:normal;font-size:.95rem;color:var(--pico-muted-color);font-weight:500;margin-left:.15rem}
.kpis span{font-size:.8rem;color:var(--pico-muted-color)}
article.note{padding:.8rem 1rem;margin-bottom:.9rem}article.note.warn-b{background:var(--warn-bg);border-color:var(--warn-line)}article.note.ok-b{background:var(--ok-bg);border-color:var(--ok-line)}
article.note>strong{font-weight:650;color:var(--pico-h1-color)}article.note ul,article.note ol{margin:.4rem 0 0;padding-left:1.2rem}article.note li{margin:.15rem 0}article.note li a{margin-left:.3rem}
ol.setup{list-style:none;padding-left:0}ol.setup li{display:flex;gap:.5rem;align-items:baseline;padding:.15rem 0}ol.setup li.done a{color:var(--pico-muted-color);text-decoration:line-through}ol.setup .tick{color:var(--ok);font-weight:700;width:1rem;display:inline-block}ol.setup li:not(.done) .tick{color:var(--pico-muted-color)}
article.flash{padding:.6rem 1rem;margin-bottom:.9rem;background:var(--ok-bg);border-color:var(--ok-line)}
.pill{display:inline-block;padding:.05rem .55rem;border-radius:999px;background:var(--surface-2);color:var(--ink-2);font-size:.74rem;font-weight:500}
/* forms */
label{font-weight:500;font-size:.88rem;color:var(--ink-2)}input,select,textarea{font-size:.9rem}
label small{display:block;margin-top:-.4rem;margin-bottom:.6rem;color:var(--pico-muted-color);font-weight:400}
pre{max-height:240px;overflow:auto;font-size:.82rem;border:1px solid var(--pico-muted-border-color)}pre.cmd{user-select:all;max-height:none;font-size:.9rem;margin:0}code{font-size:.85em;padding:.1rem .35rem;border-radius:5px}
textarea{min-height:170px;font-family:var(--pico-font-family-monospace);font-size:.82rem;line-height:1.5}textarea.list{min-height:118px;font-family:inherit;font-size:.9rem}
details{border-bottom:1px solid var(--pico-accordion-border-color)}details summary{font-weight:500;padding:.55rem 0}details summary small{margin-left:.4rem;font-weight:400}form small.muted{margin-left:.6rem}
article.login{max-width:440px;margin:3.5rem auto;padding:1.4rem 1.5rem}