:root {
  --ok: #1e7a3c;
  --bad: #b3261e;
  --warn: #8a5a00;
  --field: #ffffff;
  --chip: #eeebe4;
}
@media (prefers-color-scheme: dark) {
  :root {
    --ok: #6fcf8f;
    --bad: #ff8a80;
    --warn: #e7b85c;
    --field: #202226;
    --chip: #2a2c30;
  }
}

.page.wide { max-width: 52rem; }
.back { margin: 0; font-size: 0.95rem; }

/* langue : les deux versions sont dans la page, une seule est affichée */
html[lang="en"] .fr, html:not([lang="en"]) .en { display: none !important; }
.topbar { display: flex; justify-content: space-between; align-items: center; gap: 1rem; margin: 0 0 1.5rem; }
.lang-switch { display: flex; }
.lang-switch button {
  background: transparent; border: 1px solid var(--rule); padding: 0.15rem 0.55rem;
  font-size: 0.85rem; cursor: pointer; color: var(--muted);
}
.lang-switch button:first-child { border-radius: 4px 0 0 4px; }
.lang-switch button:last-child { border-radius: 0 4px 4px 0; border-left: none; }
html:not([lang="en"]) .lang-switch [data-lang="fr"], html[lang="en"] .lang-switch [data-lang="en"] {
  background: var(--chip); color: var(--text); font-weight: bold;
}
h1 { margin-bottom: 0.5rem; }

input, select, button { font: inherit; color: var(--text); }
input[type="text"], select {
  background: var(--field);
  border: 1px solid var(--rule);
  border-radius: 4px;
  padding: 0.35rem 0.5rem;
  min-width: 0;
  width: 100%;
}
input[type="text"]:focus, select:focus { outline: 2px solid var(--link); outline-offset: 0; }

.field { display: grid; grid-template-columns: 7rem 1fr; align-items: center; gap: 0.75rem; margin-bottom: 0.6rem; }
.field label { color: var(--muted); }

.mode { border: none; padding: 0; margin: 0 0 1rem; display: flex; flex-wrap: wrap; gap: 0.3rem 1.5rem; }
.mode legend { color: var(--muted); margin-bottom: 0.3rem; padding: 0; }

.keyboard { display: flex; flex-wrap: wrap; gap: 0.35rem; margin-bottom: 1rem; position: sticky; top: 0; background: var(--bg); padding: 0.4rem 0; z-index: 2; }
.keyboard button, .actions button, .row .del {
  background: var(--chip);
  border: 1px solid var(--rule);
  border-radius: 4px;
  padding: 0.3rem 0.65rem;
  cursor: pointer;
  min-width: 2.4rem;
}
.keyboard button:hover, .actions button:hover { border-color: var(--link); }

.proof-head, .row {
  display: grid;
  grid-template-columns: 5.5rem 2.2rem 1fr 5.5rem 6rem 4.2rem;
  gap: 0.4rem;
  align-items: center;
}
.proof-head { font-size: 0.85rem; color: var(--muted); padding-bottom: 0.25rem; }
.row { padding: 0.25rem 0; border-top: 1px solid transparent; }
.row .num { text-align: right; color: var(--muted); font-variant-numeric: tabular-nums; }
.row .auto { color: var(--muted); font-size: 0.95rem; text-align: center; }
.row .tools { display: flex; gap: 0.2rem; }
.row .del, .row .ins { min-width: 0; padding: 0.25rem 0.45rem; color: var(--muted); background: var(--chip); border: 1px solid var(--rule); border-radius: 4px; cursor: pointer; }
.row.err input, .row.err select { border-color: var(--bad); }
.row.good .num { color: var(--ok); }
.msg { grid-column: 1 / -1; font-size: 0.9rem; margin: 0.1rem 0 0.3rem; }
.msg.err { color: var(--bad); }
.msg.warn { color: var(--warn); }

.premises-help { margin: 0.5rem 0 0; }
.premises-help button {
  background: var(--chip); border: 1px dashed var(--link); border-radius: 4px;
  padding: 0.3rem 0.75rem; cursor: pointer; color: var(--link);
}
.spoiler {
  background: var(--bad); color: transparent; border-radius: 3px;
  padding: 0 0.35em; cursor: pointer; user-select: none;
}
.spoiler:hover { opacity: 0.85; }
.spoiler:focus { outline: 2px solid var(--link); outline-offset: 1px; }
.spoiler.shown { background: transparent; color: inherit; cursor: text; user-select: text; padding: 0; }
.actions { display: flex; flex-wrap: wrap; gap: 0.5rem; margin: 1rem 0; }
.actions .primary { background: var(--link); color: var(--bg); border-color: var(--link); }
.actions .quiet { background: transparent; }
.free-tools { display: flex; flex-wrap: wrap; gap: 0.5rem; margin: 0.4rem 0 0; }
.free-tools[hidden] { display: none; }
.free-tools button {
  font-size: 0.85rem; background: var(--chip); border: 1px solid var(--rule); border-radius: 4px;
  padding: 0.25rem 0.65rem; cursor: pointer;
}
.free-tools .quiet { background: transparent; }
.free-tools .copy-done { align-self: center; font-size: 0.85rem; color: var(--ok); }

.result { padding: 0.2rem 0; }
.result .verdict { font-weight: bold; }
.result .verdict.ok { color: var(--ok); }
.result .verdict.bad { color: var(--bad); }
.result .verdict.unk { color: var(--warn); }
.result .verdict .aside { font-weight: normal; color: var(--muted); }
.result ul { margin: 0.4rem 0 0; padding-left: 1.2rem; }

details { margin-bottom: 0.6rem; }
summary { cursor: pointer; }
details ul { margin: 0.5rem 0 0; padding-left: 1.2rem; }
details li { margin-bottom: 0.3rem; }

/* règles : une carte par règle, introduction et élimination côte à côte */
.rule-pair { display: grid; grid-template-columns: 1fr 1fr; gap: 0.75rem; margin: 0.75rem 0; }
.rule {
  border: 1px solid var(--rule); border-radius: 8px; background: var(--field);
  padding: 0.7rem 0.9rem; display: flex; flex-direction: column; min-width: 0;
}
.rule-name { font-size: 0.95rem; color: var(--muted); }
.rule-name b { color: var(--text); font-size: 1.1rem; }
.rule-name b:last-of-type { margin-right: 0.35rem; }
.figs {
  flex: 1; display: flex; flex-wrap: wrap; justify-content: center; align-items: center;
  gap: 0.6rem 2.2rem; padding: 0.9rem 0 0.7rem; font-size: 1.1rem;
}
.inf { display: inline-flex; flex-direction: column; align-items: center; }
.prem {
  display: flex; align-items: flex-end; gap: 1.6rem;
  padding: 0 0.5rem 0.2rem; border-bottom: 1.5px solid var(--text); min-width: 3rem; justify-content: center;
}
.col { display: flex; flex-direction: column; align-items: center; white-space: nowrap; line-height: 1.35; }
.vd { line-height: 1.1; font-size: 1.15em; font-weight: bold; color: var(--muted); }
.concl { padding-top: 0.2rem; white-space: nowrap; }
.cites { margin: 0; font-size: 0.88rem; color: var(--muted); }
@media (max-width: 600px) {
  .rule-pair { grid-template-columns: 1fr; gap: 0.6rem; margin: 0.6rem 0 1.1rem; }
  .prem { gap: 1.1rem; }
}
code { font-size: 0.95em; }

body.mode-auto .row .act { display: none; }
body.mode-manual .row .auto { display: none; }

@media (max-width: 640px) {
  .field { grid-template-columns: 1fr; gap: 0.2rem; }
  .proof-head { display: none; }
  .row {
    grid-template-columns: 4.5rem 1fr 1fr 4.2rem;
    grid-template-areas: "num formula formula formula" "act rule cites del";
    border-top: 1px solid var(--rule);
    padding: 0.5rem 0;
  }
  .row .num { grid-area: num; text-align: left; }
  .row .formula { grid-area: formula; }
  .row .act, .row .auto { grid-area: act; }
  .row .rule { grid-area: rule; }
  .row .cites { grid-area: cites; }
  .row .tools { grid-area: del; }
  .row .auto::before { content: "hyp. "; }
}