:root {
  --bg: #f6f7f9; --card: #fff; --text: #1d2330; --muted: #667085; --border: #dde1e7;
  --accent: #2459d1; --accent-text: #fff; --ok: #1a7f45; --ok-bg: #e3f4ea;
  --err: #b42318; --err-bg: #fdecea; --run: #a15c00; --run-bg: #fff3dc; --warn: #d97706;
  --log-bg: #11151c; --log-text: #d6dbe4;
  --border-strong: #98a2b3; --seg-bg: #eaf0fd; --active-line: #f2f5fa; --selection: #d5e1fb;
  color-scheme: light;
}
@media (prefers-color-scheme: dark) {
  :root {
    --bg: #12151b; --card: #1b2029; --text: #e4e7ec; --muted: #98a2b3; --border: #2e3542;
    --accent: #5b8def; --ok: #5fd08f; --ok-bg: #173324; --err: #f97066; --err-bg: #3a1a18;
    --run: #f5b14c; --run-bg: #3a2c12; --log-bg: #0b0d11; --warn: #e08a1e;
    --border-strong: #5d6878; --seg-bg: #1c2740; --active-line: #222833; --selection: #2b3a5c;
    color-scheme: dark;
  }
}
* { box-sizing: border-box; }
[hidden] { display: none !important; }
body { margin: 0; background: var(--bg); color: var(--text);
       font: 15px/1.45 system-ui, -apple-system, "Segoe UI", sans-serif; }
header { display: flex; align-items: center; justify-content: space-between;
         padding: 12px 24px; background: var(--card); border-bottom: 1px solid var(--border); }
h1 { margin: 0; font-size: 20px; letter-spacing: .02em; }
h2 { margin: 0 0 12px; font-size: 17px; }
main { max-width: 1000px; margin: 0 auto; padding: 24px 16px; display: grid; gap: 24px; }
.card { background: var(--card); border: 1px solid var(--border); border-radius: 10px; padding: 18px; }
.row { display: flex; align-items: center; justify-content: space-between; gap: 12px; }
.row h2 { margin: 0; }
.muted { color: var(--muted); }
.error { color: var(--err); min-height: 1em; }

table { width: 100%; border-collapse: collapse; background: var(--card);
        border: 1px solid var(--border); border-radius: 10px; overflow: hidden; }
th, td { padding: 10px 14px; text-align: left; border-bottom: 1px solid var(--border); vertical-align: top; }
th { font-size: 13px; color: var(--muted); font-weight: 600; }
tr:last-child td { border-bottom: none; }
td.actions { text-align: right; white-space: nowrap; }
td.actions button { margin-left: 6px; }
.table-wrap { overflow-x: auto; }

.badge { display: inline-block; padding: 2px 9px; border-radius: 999px; font-size: 13px; font-weight: 600; }
.badge.ok { color: var(--ok); background: var(--ok-bg); }
.badge.off { color: var(--muted); background: var(--bg); border: 1px solid var(--border); }
.badge.run { color: var(--run); background: var(--run-bg); }
.badge.err { color: var(--err); background: var(--err-bg); }
ul.problems { margin: 6px 0 0; padding-left: 18px; color: var(--err); font-size: 13px; }

button { font: inherit; padding: 6px 14px; border-radius: 7px; border: 1px solid var(--accent);
         background: var(--accent); color: var(--accent-text); cursor: pointer; }
button.secondary { background: transparent; color: var(--text); border-color: var(--border); }
button.danger { background: var(--err); border-color: var(--err); color: #fff; }
button.warn { background: var(--warn); border-color: var(--warn); color: #fff; }
button.confirm { font-weight: 700; }
button:disabled { opacity: .5; cursor: default; }

.progress { height: 8px; background: var(--bg); border-radius: 999px; overflow: hidden; margin: 14px 0 8px; }
#job-bar { height: 100%; width: 0; background: var(--accent); transition: width .3s; }
#job-bar.ok { background: var(--ok); }
#job-bar.err { background: var(--err); }
#charge-bar { height: 100%; width: 0; background: var(--ok); transition: width .3s; }
#charge-bar.warn { background: var(--warn); }
#charge-bar.err { background: var(--err); }
pre#job-log { background: var(--log-bg); color: var(--log-text); border-radius: 8px; padding: 12px;
              max-height: 360px; overflow: auto; font-size: 13px; margin: 0; white-space: pre-wrap; }
pre#job-log .step { color: #8fb4ff; font-weight: 600; }
pre#job-log .ready { color: #7ee0a3; }
pre#job-log .fail { color: #ff8a80; }

body.login { display: grid; place-items: center; min-height: 100vh; padding: 16px; }
body.login form { width: 100%; max-width: 340px; display: grid; gap: 10px; }
body.login input { font: inherit; padding: 8px 10px; border-radius: 7px;
                   border: 1px solid var(--border); background: var(--bg); color: var(--text); }

/* Page terminal : plein écran */
body.terminal { height: 100vh; display: flex; flex-direction: column; background: #11151c; }
body.terminal header { flex: none; }
body.terminal h1 { font-family: ui-monospace, monospace; font-size: 16px; }
#screen { flex: 1; min-height: 0; padding: 6px 8px; }
#reconnect { margin-left: 8px; }

/* Topologie */
svg.topology { width: 100%; height: auto; display: block; margin: 0 auto;
               touch-action: none; user-select: none; }
.topo-link { stroke: var(--border-strong); stroke-width: 2; }
.topo-link-label { font-size: 12px; fill: var(--muted); paint-order: stroke; stroke: var(--card);
                   stroke-width: 7px; stroke-linejoin: round; }
.topo-node { cursor: grab; }
.topo-node.clickable { cursor: pointer; }
.topo-segment-shape { fill: var(--seg-bg); stroke: var(--accent); stroke-width: 1.5; }
.topo-segment-name { font-size: 14px; font-weight: 600; fill: var(--accent); }
.topo-sub { font-size: 12px; fill: var(--muted); paint-order: stroke; stroke: var(--card); stroke-width: 4px; }
.topo-machine-shape { fill: var(--card); stroke: var(--border-strong); stroke-width: 2; }
.topo-machine-shape.running { stroke: var(--ok); }
.topo-machine-shape.stopped { stroke: var(--err); }
.topo-icon { fill: none; stroke: var(--text); stroke-width: 1.8; stroke-linecap: round; stroke-linejoin: round; }
.topo-mgmt { fill: var(--muted); stroke: var(--card); stroke-width: 2; }
.topo-machine-shape.ghost { stroke-dasharray: 5 4; fill-opacity: 0.5; }
table.checks .check-mark { width: 1.5em; font-weight: 700; }
table.checks .check-points { text-align: right; white-space: nowrap; }
table.checks tr.check-ok .check-mark { color: var(--ok); }
table.checks tr.check-ko .check-mark { color: var(--err); }
table.checks details { margin-top: 4px; }
table.checks pre { margin: 4px 0 0; font-size: 12px; white-space: pre-wrap; color: var(--muted); }
label.inline { display: flex; align-items: center; gap: 6px; }

/* Classes */
main.wide { max-width: 1400px; }
.form-grid { display: grid; gap: 10px; }
.form-grid label { display: grid; gap: 4px; font-size: 14px; color: var(--muted); }
.form-grid input, .form-grid select, .form-grid textarea, .inline-form textarea {
  font: inherit; padding: 6px 10px; border-radius: 7px; border: 1px solid var(--border);
  background: var(--bg); color: var(--text); }
.inline-form.wrap { flex-wrap: wrap; align-items: center; }
.inline-form textarea { min-width: 18em; }
button.small, select.small { padding: 3px 9px; font-size: 13px; }
select.small { font: inherit; font-size: 13px; border-radius: 7px; border: 1px solid var(--border);
               background: var(--card); color: var(--text); margin-left: 6px; }
td.nowrap { white-space: nowrap; }
table.grid th.check-head { max-width: 9em; font-weight: 500; font-size: 12px; }
table.grid td.check-cell { text-align: center; font-weight: 700; cursor: default; }
table.grid td.check-cell.ok { color: var(--ok); background: var(--ok-bg); }
table.grid td.check-cell.ko { color: var(--err); background: var(--err-bg); }
table.grid td.check-cell.none { color: var(--muted); }
.variables { display: flex; flex-wrap: wrap; gap: 4px 8px; align-items: center; margin: 4px 0; }
.variables code { background: var(--bg); padding: 1px 6px; border-radius: 4px; font-size: 12px; white-space: nowrap; }
.toolbar.wrap { flex-wrap: wrap; margin-top: 8px; }
.small { font-size: 13px; }
.topo-name { font-size: 14px; font-weight: 600; fill: var(--text); paint-order: stroke; stroke: var(--card); stroke-width: 4px; }

/* Éditeur */
body.editor { min-height: 100vh; display: flex; flex-direction: column; }
header h1 a { color: inherit; text-decoration: none; }
.toolbar { display: flex; align-items: center; gap: 8px; }
a.button { font: inherit; padding: 6px 14px; border-radius: 7px; text-decoration: none; display: inline-block; }
a.button.secondary { color: var(--text); border: 1px solid var(--border); }
.note { margin: 0; padding: 8px 24px; background: var(--run-bg); color: var(--run); font-size: 14px; }
main.editor-grid { max-width: none; width: 100%; flex: 1; display: grid;
                   grid-template-columns: minmax(0, 1.2fr) minmax(0, 1fr); gap: 16px; padding: 16px; }
@media (max-width: 900px) { main.editor-grid { grid-template-columns: 1fr; } }
.editor-pane { padding: 0; overflow: hidden; }
.editor-pane .CodeMirror { height: calc(100vh - 120px); min-height: 360px; font-size: 14px;
                           font-family: ui-monospace, "DejaVu Sans Mono", Menlo, Consolas, monospace;
                           background: var(--card); color: var(--text); }
.side { display: grid; gap: 16px; align-content: start; }
.ok-text { color: var(--ok); }
.CodeMirror-gutters { background: var(--bg); border-right: 1px solid var(--border); }
.CodeMirror-linenumber { color: var(--muted); }
.CodeMirror-cursor { border-left-color: var(--text); }
.CodeMirror-activeline-background { background: var(--active-line); }
.CodeMirror-selected, .CodeMirror-focused .CodeMirror-selected { background: var(--selection); }
.cm-s-default .cm-atom { color: var(--accent); }
.cm-s-default .cm-comment { color: var(--muted); font-style: italic; }
.cm-s-default .cm-string { color: var(--ok); }
.cm-s-default .cm-number { color: var(--run); }
.cm-s-default .cm-meta, .cm-s-default .cm-def { color: var(--err); }

.inline-form { display: flex; gap: 8px; }
.inline-form input { font: inherit; padding: 5px 10px; border-radius: 7px; width: 12em;
                     border: 1px solid var(--border); background: var(--card); color: var(--text); }
.topology-box { border: 1px solid var(--border); border-radius: 8px; margin-bottom: 6px; overflow: auto; }
.small { font-size: 13px; }
h3 { font-size: 15px; margin: 18px 0 8px; }
section > .row { margin-bottom: 12px; }

/* Onglets de l'éditeur */
.tabs { display: flex; gap: 4px; background: var(--bg); padding: 3px; border-radius: 9px; border: 1px solid var(--border); }
.tab { background: transparent; color: var(--muted); border: none; padding: 5px 16px; }
.tab[aria-selected="true"] { background: var(--card); color: var(--text); box-shadow: 0 1px 2px rgba(0,0,0,.12); }

/* Éditeur graphique : palette | schéma | propriétés */
main.graph-grid { max-width: none; width: 100%; flex: 1; display: grid; gap: 16px; padding: 16px;
                  grid-template-columns: 150px minmax(0, 1fr) minmax(280px, 340px); }
@media (max-width: 1000px) { main.graph-grid { grid-template-columns: 1fr; } }
.palette { display: flex; flex-direction: column; gap: 10px; align-self: start; }
.palette h2 { margin-bottom: 2px; }
.palette-item { display: flex; flex-direction: column; align-items: center; gap: 4px; padding: 10px 6px;
                background: var(--bg); color: var(--text); border: 1px dashed var(--border-strong); cursor: grab; }
.palette-item svg { width: 44px; height: 32px; }
.palette-item:active { cursor: grabbing; }
.zoom { display: flex; gap: 4px; flex-wrap: wrap; margin-top: 8px; }
.zoom button { padding: 4px 9px; }
.graph-pane { padding: 0; overflow: hidden; min-height: 420px; }
svg.graph-canvas { width: 100%; height: calc(100vh - 120px); min-height: 420px; display: block;
                   touch-action: none; user-select: none; outline: none; cursor: grab;
                   background-image: radial-gradient(var(--border) 1px, transparent 1px);
                   background-size: 22px 22px; }
.graph-node { cursor: move; }
.graph-node.selected .topo-machine-shape, .graph-node.selected .topo-segment-shape { stroke: var(--accent); stroke-width: 3.5; }
.graph-handle { fill: var(--accent); stroke: var(--card); stroke-width: 2; cursor: crosshair; opacity: .55; }
.graph-node:hover .graph-handle, .graph-node.selected .graph-handle { opacity: 1; }
.graph-temp-link { stroke: var(--accent); stroke-width: 2; stroke-dasharray: 6 4; pointer-events: none; }
.graph-link { cursor: pointer; }
.graph-warning { font-size: 11px; fill: var(--err); font-weight: 600; }

/* Panneau de propriétés */
.panel { display: grid; gap: 8px; align-content: start; }
.panel h2 { margin: 0; }
.panel h3 { margin: 10px 0 0; }
.panel label { display: grid; gap: 3px; font-size: 13px; color: var(--muted); }
.panel input, .panel select { font: inherit; font-size: 14px; padding: 5px 8px; border-radius: 6px; width: 100%;
                               border: 1px solid var(--border); background: var(--bg); color: var(--text); }
.panel .error:empty { display: none; }
.iface-row { display: grid; grid-template-columns: 4.2em minmax(0, 1fr) minmax(0, 1.5fr) auto; gap: 4px; align-items: center; }
.iface-row input, .iface-row select { padding: 4px 6px; font-size: 13px; }
button.icon { padding: 3px 8px; }
button.delete { margin-top: 8px; }
ul.plain { margin: 0; padding-left: 18px; font-size: 14px; }
main > section { min-width: 0; }
.panel p { margin: 0; }
.side > * { min-width: 0; }

/* Instantanés (détail d'un lab) */
.snapshots { display: grid; gap: 10px; }
.snapshots .inline-form { display: flex; gap: 8px; flex-wrap: wrap; }

/* Énoncé du lab (README.md rendu) */
.readme { border: 1px solid var(--border); border-radius: 8px; padding: 8px 14px; margin: 10px 0; }
.hub-cards { display: grid; grid-template-columns: repeat(auto-fill, minmax(260px, 1fr)); gap: 10px; margin-top: 10px; }
.hub-card { display: flex; flex-direction: column; gap: 4px; border: 1px solid var(--border); border-radius: 8px; padding: 10px 12px; }
.hub-card .type { font-size: 11px; text-transform: uppercase; letter-spacing: .05em; font-weight: 700; color: var(--muted); }
.hub-card .type.exercice { color: var(--ok); } .hub-card .type.examen { color: var(--err); }
.tags { display: flex; flex-wrap: wrap; gap: 4px; }
.tag { background: var(--bg); border-radius: 10px; padding: 1px 8px; font-size: 12px; }
.readme summary { cursor: pointer; font-weight: 600; }
.readme-body h3, .readme-body h4, .readme-body h5 { margin: 12px 0 6px; font-size: 15px; }
.readme-body pre { background: var(--log-bg); color: var(--log-text); border-radius: 8px; padding: 10px 12px;
                   overflow-x: auto; font-size: 13px; }
.readme-body code { background: var(--bg); padding: 1px 5px; border-radius: 4px; font-size: 13px; }
.readme-body pre code { background: none; padding: 0; }
.pull { margin: 8px 0 16px; }