/* ─── algebre.css — Thème : Terminal algébrique sombre ──────────────────── */
@import url('https://fonts.googleapis.com/css2?family=Space+Mono:ital,wght@0,400;0,700;1,400&family=Inter:wght@300;400;500;600&family=Space+Grotesk:wght@400;500;600;700&display=swap');

:root {
  --bg:          #0d1117;
  --bg-2:        #161b22;
  --bg-3:        #21262d;
  --surface:     #1c2128;
  --border:      #30363d;
  --border-hi:   #58a6ff;
  --ink:         #e6edf3;
  --ink-mid:     #8b949e;
  --ink-dim:     #484f58;
  --accent:      #58a6ff;
  --accent-dark: #1f6feb;
  --accent-glow: rgba(88,166,255,.15);
  --green:       #3fb950;
  --yellow:      #d29922;
  --orange:      #f0883e;
  --red:         #ff7b72;
  --purple:      #bc8cff;
  --font-display:'Space Grotesk', monospace;
  --font-body:   'Inter', sans-serif;
  --font-mono:   'Space Mono', monospace;
  --radius:      6px;
  --sidebar-w:   260px;
}

*,*::before,*::after { box-sizing:border-box; margin:0; padding:0; }
html { scroll-behavior:smooth; }

body {
  font-family: var(--font-body);
  background: var(--bg);
  color: var(--ink);
  font-size: 15.5px;
  line-height: 1.7;
  /* subtle grid */
  background-image:
    linear-gradient(rgba(88,166,255,.03) 1px, transparent 1px),
    linear-gradient(90deg, rgba(88,166,255,.03) 1px, transparent 1px);
  background-size: 40px 40px;
}

/* ─── Progress bar ───────────────────────────────────────────────────────── */
.progress-bar {
  position: fixed; top:0; left:0; height:2px; width:0%;
  background: linear-gradient(90deg, var(--accent), var(--purple));
  z-index: 200;
  box-shadow: 0 0 8px var(--accent);
  transition: width .08s linear;
}

/* ─── Layout ─────────────────────────────────────────────────────────────── */
.page-layout { display:flex; min-height:100vh; }

/* ─── Sidebar ────────────────────────────────────────────────────────────── */
.sidebar {
  width: var(--sidebar-w);
  flex-shrink: 0;
  background: var(--bg-2);
  border-right: 1px solid var(--border);
  position: sticky; top:0; height:100vh;
  overflow-y: auto; display:flex; flex-direction:column;
  scrollbar-width: thin; scrollbar-color: var(--border) transparent;
}

.sidebar-header {
  padding: 28px 20px 20px;
  border-bottom: 1px solid var(--border);
}

.sidebar-site-link {
  font-family: var(--font-mono);
  font-size: .65rem; letter-spacing:.1em;
  color: var(--ink-dim); text-decoration:none;
  display:block; margin-bottom:12px;
}

.sidebar-title {
  font-family: var(--font-display);
  font-size: 1.3rem; font-weight:700;
  color: var(--accent);
  display:flex; align-items:center; gap:8px;
}

.sidebar-title::before {
  content: '⬡';
  font-size: 1rem; color: var(--accent);
}

.toc-nav { padding:12px 0 16px; flex:1; }

.toc-section-label {
  font-family: var(--font-mono);
  font-size: .6rem; letter-spacing:.18em; text-transform:uppercase;
  color: var(--ink-dim); padding:10px 20px 4px;
}

.toc-link {
  display:block; padding:5px 20px 5px 24px;
  font-size: .82rem; color: var(--ink-mid);
  text-decoration:none; border-left:2px solid transparent;
  font-family: var(--font-body); transition:all .15s;
}

.toc-link:hover,
.toc-link.active {
  color: var(--accent); border-left-color: var(--accent);
  background: var(--accent-glow);
}

.sidebar-subject-nav {
  padding:14px 20px; border-top:1px solid var(--border);
}

.sidebar-subject-nav p {
  font-family: var(--font-mono); font-size:.6rem;
  letter-spacing:.15em; text-transform:uppercase;
  color: var(--ink-dim); margin-bottom:8px;
}

.sidebar-subject-nav a {
  display:block; font-size:.8rem;
  color: var(--ink-mid); text-decoration:none;
  padding:3px 0; transition:color .15s;
}

.sidebar-subject-nav a:hover { color:var(--accent); }
.sidebar-subject-nav a.current { color:var(--accent); font-weight:600; }

/* ─── Main ───────────────────────────────────────────────────────────────── */
.main {
  flex:1; min-width:0;
  padding: 0 56px 100px;
  max-width: 860px;
}

/* ─── Header ─────────────────────────────────────────────────────────────── */
.page-header {
  padding: 56px 0 40px;
  border-bottom: 1px solid var(--border);
  margin-bottom: 50px;
  position: relative;
}

.subject-tag {
  font-family: var(--font-mono);
  font-size:.68rem; letter-spacing:.2em; text-transform:uppercase;
  color: var(--accent); margin-bottom:14px;
}

h1.page-title {
  font-family: var(--font-display);
  font-size: 3.2rem; font-weight:700;
  color: var(--ink); line-height:1.05;
  letter-spacing: -.02em;
}

h1.page-title span { color: var(--accent); }

.page-intro {
  margin-top:16px; font-size:.95rem;
  color: var(--ink-mid); line-height:1.65;
  font-family: var(--font-mono);
  max-width: 560px;
}

/* ─── Sections ───────────────────────────────────────────────────────────── */
.section { margin-bottom:64px; scroll-margin-top:28px; }

h2.section-title {
  font-family: var(--font-display);
  font-size:1.6rem; font-weight:700;
  color: var(--ink);
  display:flex; align-items:center; gap:12px;
  margin-bottom:24px; padding-bottom:10px;
  border-bottom:1px solid var(--border);
}

h2.section-title .num {
  font-family: var(--font-mono);
  font-size:.8rem; color:var(--accent);
  background: var(--accent-glow);
  border:1px solid var(--accent-dark);
  padding:2px 8px; border-radius:4px;
  font-weight:400;
}

h3.sub-title {
  font-family: var(--font-display);
  font-size:1.1rem; font-weight:600;
  color: var(--accent); margin:30px 0 12px;
  font-style:normal;
}

h4.sub-sub-title {
  font-family: var(--font-mono);
  font-size:.85rem; color:var(--ink-mid);
  margin:20px 0 8px; text-transform:uppercase; letter-spacing:.08em;
}

p { margin-bottom:.9em; }
ul,ol { padding-left:1.4em; margin-bottom:.9em; }
li { margin-bottom:.25em; }

/* ─── Boxes ──────────────────────────────────────────────────────────────── */
.box {
  border-radius: var(--radius);
  padding:16px 20px 14px;
  margin:18px 0;
  border:1px solid var(--border);
  position:relative;
  background: var(--surface);
}

.box-label {
  font-family: var(--font-mono);
  font-size:.65rem; font-weight:700;
  letter-spacing:.15em; text-transform:uppercase;
  display:block; margin-bottom:8px;
}

.box.def       { border-color:var(--accent-dark); background:rgba(31,111,235,.07); }
.box.def .box-label   { color:var(--accent); }

.box.theorem   { border-color:var(--yellow); background:rgba(210,153,34,.07); }
.box.theorem .box-label { color:var(--yellow); }

.box.prop      { border-color:var(--purple); background:rgba(188,140,255,.07); }
.box.prop .box-label   { color:var(--purple); }

.box.corollary { border-color:var(--orange); background:rgba(240,136,62,.07); }
.box.corollary .box-label { color:var(--orange); }

.box.example   { border-color:var(--green); background:rgba(63,185,80,.07); }
.box.example .box-label  { color:var(--green); }

.box.remark    { border-color:var(--border); background:var(--bg-3); }
.box.remark .box-label   { color:var(--ink-mid); }

/* ─── Proof ──────────────────────────────────────────────────────────────── */
.proof-toggle {
  display:inline-flex; align-items:center; gap:6px;
  font-family: var(--font-mono); font-size:.72rem;
  color:var(--accent); border:1px solid var(--accent-dark);
  padding:4px 12px; border-radius:4px; cursor:pointer;
  background:transparent; margin-top:8px;
  text-transform:uppercase; letter-spacing:.08em;
  transition:all .15s; user-select:none;
}

.proof-toggle:hover { background:var(--accent-glow); }
.proof-toggle .arrow { transition:transform .2s; font-size:.7rem; }
.proof-toggle.open .arrow { transform:rotate(90deg); }

.proof-content { max-height:0; overflow:hidden; transition:max-height .3s ease; }
.proof-content.open { max-height:800px; }

.proof-inner {
  margin-top:12px; padding:14px 16px;
  background:var(--bg); border:1px dashed var(--border);
  border-radius:var(--radius); color:var(--ink-mid); font-size:.9rem;
  font-family: var(--font-mono);
}

.qed { float:right; color:var(--accent); font-family:var(--font-mono); }

/* ─── Formula block ──────────────────────────────────────────────────────── */
.formula-block {
  text-align:center; padding:18px 16px; margin:16px 0;
  background:var(--bg); border:1px solid var(--border);
  border-radius:var(--radius); overflow-x:auto;
  box-shadow: inset 0 1px 0 rgba(255,255,255,.03);
  color: var(--ink);
}

/* ─── Table ──────────────────────────────────────────────────────────────── */
.math-table {
  width:100%; border-collapse:collapse; margin:16px 0;
  font-size:.88rem;
}

.math-table th {
  background:var(--bg-3); color:var(--ink); padding:9px 14px;
  text-align:left; font-family:var(--font-mono); font-size:.72rem;
  letter-spacing:.1em; text-transform:uppercase; border-bottom:1px solid var(--accent-dark);
}

.math-table td {
  padding:8px 14px; border-bottom:1px solid var(--border); vertical-align:top;
}

.math-table tr:hover td { background:var(--accent-glow); }
.math-table td:first-child { font-family:var(--font-mono); color:var(--accent); font-size:.82rem; }

/* ─── Code ───────────────────────────────────────────────────────────────── */
code {
  font-family:var(--font-mono); font-size:.82em;
  background:var(--bg-3); color:var(--accent);
  padding:2px 6px; border-radius:3px; border:1px solid var(--border);
}

/* ─── Two col ────────────────────────────────────────────────────────────── */
.two-col { display:grid; grid-template-columns:1fr 1fr; gap:14px; margin:14px 0; }
.two-col .box { margin:0; }

/* ─── Mobile ─────────────────────────────────────────────────────────────── */
.mobile-header {
  display:none; position:sticky; top:0; z-index:50;
  background:var(--bg-2); border-bottom:1px solid var(--border);
  padding:12px 18px; align-items:center; justify-content:space-between;
}
.mobile-menu-btn { background:none; border:none; color:var(--ink); font-size:1.3rem; cursor:pointer; }
.mobile-title { font-family:var(--font-display); font-size:1rem; color:var(--accent); }
.mobile-drawer { display:none; position:fixed; inset:0; z-index:100; }
.mobile-drawer.open { display:flex; }
.drawer-overlay { position:absolute; inset:0; background:rgba(0,0,0,.6); }
.drawer-panel { position:relative; z-index:1; width:270px; background:var(--bg-2); height:100%; overflow-y:auto; padding:16px 0; border-right:1px solid var(--border); }

@media (max-width:960px) {
  .sidebar { display:none; }
  .mobile-header { display:flex; }
  .main { padding:0 22px 70px; }
  h1.page-title { font-size:2.2rem; }
  .two-col { grid-template-columns:1fr; }
}