/* ─── arithmetique.css — Thème : Manuscrit classique, théorie des nombres ── */
@import url('https://fonts.googleapis.com/css2?family=EB+Garamond:ital,wght@0,400;0,500;0,600;0,700;1,400;1,600&family=Crimson+Pro:ital,wght@0,300;0,400;0,600;1,300;1,400&family=Courier+Prime:ital,wght@0,400;0,700;1,400&display=swap');

:root {
  --parchment:   #fdf8ef;
  --parchment-2: #f7f0e0;
  --parchment-3: #ede3cc;
  --ink:         #1a1207;
  --ink-mid:     #4a3b1e;
  --ink-light:   #8b7355;
  --accent:      #1a5c28;
  --accent-2:    #2d7a3e;
  --accent-pale: #e8f4ec;
  --gold:        #8b6914;
  --gold-pale:   #fdf4d8;
  --red-ink:     #8b1a1a;
  --border:      #d4c4a0;
  --border-light:#e8dcc8;
  --font-display:'EB Garamond', Georgia, serif;
  --font-body:   'Crimson Pro', Georgia, serif;
  --font-mono:   'Courier Prime', Courier, monospace;
  --sidebar-w:   270px;
}

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

body {
  font-family: var(--font-body);
  background: var(--parchment);
  color: var(--ink);
  font-size: 18px;
  line-height: 1.82;
  /* Subtle paper texture via gradient */
  background-image:
    repeating-linear-gradient(
      0deg,
      transparent,
      transparent 31px,
      rgba(180,150,90,.06) 31px,
      rgba(180,150,90,.06) 32px
    );
}

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

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

/* ─── Sidebar ────────────────────────────────────────────────────────────── */
.sidebar {
  width: var(--sidebar-w); flex-shrink:0;
  background: var(--ink);
  position:sticky; top:0; height:100vh;
  overflow-y:auto; display:flex; flex-direction:column;
  scrollbar-width:thin; scrollbar-color:rgba(255,255,255,.1) transparent;
  /* Wood-panel feel */
  background-image: repeating-linear-gradient(
    90deg, transparent, transparent 2px,
    rgba(255,255,255,.01) 2px, rgba(255,255,255,.01) 60px
  );
}

.sidebar-header {
  padding:32px 22px 22px;
  border-bottom:1px solid rgba(255,255,255,.08);
}

.sidebar-site-link {
  font-family:var(--font-mono); font-size:.65rem; letter-spacing:.1em;
  color:rgba(255,255,255,.3); text-decoration:none; display:block; margin-bottom:10px;
}

.sidebar-title {
  font-family:var(--font-display); font-size:1.7rem; font-weight:600;
  color:#f0e8d0; line-height:1.15; font-style:italic;
}

.sidebar-title em { color:var(--accent-2); font-style:italic; }

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

.toc-section-label {
  font-family:var(--font-mono); font-size:.6rem; letter-spacing:.15em;
  text-transform:uppercase; color:rgba(255,255,255,.2); padding:10px 22px 4px;
}

.toc-link {
  display:block; padding:5px 22px 5px 26px;
  font-family:var(--font-body); font-size:.9rem;
  color:rgba(255,255,255,.5); text-decoration:none;
  border-left:2px solid transparent; transition:all .18s; line-height:1.35;
}

.toc-link:hover { color:#f0e8d0; border-left-color:var(--accent-2); background:rgba(255,255,255,.04); }
.toc-link.active { color:var(--accent-2); border-left-color:var(--accent-2); }

.sidebar-subject-nav {
  padding:16px 22px; border-top:1px solid rgba(255,255,255,.06);
}
.sidebar-subject-nav p {
  font-family:var(--font-mono); font-size:.6rem; letter-spacing:.12em;
  text-transform:uppercase; color:rgba(255,255,255,.2); margin-bottom:8px;
}
.sidebar-subject-nav a {
  display:block; font-family:var(--font-body); font-size:.88rem;
  color:rgba(255,255,255,.4); text-decoration:none; padding:3px 0; transition:color .15s;
}
.sidebar-subject-nav a:hover { color:var(--accent-2); }
.sidebar-subject-nav a.current { color:var(--accent-2); font-style:italic; }

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

/* ─── Header ─────────────────────────────────────────────────────────────── */
.page-header {
  padding:64px 0 44px;
  margin-bottom:52px;
  border-bottom:2px solid var(--ink);
  position:relative;
}

/* Ornamental line */
.page-header::after {
  content:'— ✦ —';
  position:absolute; bottom:-14px; left:50%;
  transform:translateX(-50%);
  font-family:var(--font-display); font-size:1rem;
  color:var(--ink); background:var(--parchment); padding:0 12px;
  letter-spacing:.2em;
}

.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:4rem; font-weight:600;
  color:var(--ink); line-height:1; letter-spacing:-.01em;
  font-style:italic;
}

.page-intro {
  margin-top:18px; font-size:1.15rem; color:var(--ink-mid);
  font-style:italic; font-family:var(--font-display); max-width:540px;
}

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

h2.section-title {
  font-family:var(--font-display); font-size:2.1rem; font-weight:600;
  color:var(--ink); margin-bottom:22px; padding-bottom:8px;
  border-bottom:1px solid var(--border);
  display:flex; align-items:baseline; gap:14px;
}

h2.section-title .num {
  font-size:.9rem; color:var(--accent); font-style:italic; font-weight:400;
}

h3.sub-title {
  font-family:var(--font-display); font-size:1.45rem; font-weight:600;
  color:var(--ink-mid); margin:32px 0 12px; font-style:italic;
}

p { margin-bottom:.95em; }
ul,ol { padding-left:1.5em; margin-bottom:.9em; }
li { margin-bottom:.3em; }

/* ─── Boxes ──────────────────────────────────────────────────────────────── */
.box {
  padding:18px 22px 16px; margin:22px 0;
  position:relative;
  /* Book-style: just a border top/bottom */
  border-top:1px solid var(--border); border-bottom:1px solid var(--border);
}

.box::before {
  content:''; position:absolute; left:0; top:0; bottom:0; width:4px;
}

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

.box.def       { background:var(--accent-pale); border-color:var(--accent); }
.box.def::before { background:var(--accent); }
.box.def .box-label { color:var(--accent); }

.box.theorem   { background:var(--gold-pale); border-color:var(--gold); }
.box.theorem::before { background:var(--gold); }
.box.theorem .box-label { color:var(--gold); }

.box.prop      { background:var(--parchment-2); border-color:var(--border); }
.box.prop::before { background:var(--ink-light); }
.box.prop .box-label { color:var(--ink-mid); }

.box.corollary { background:#f9f0f0; border-color:var(--red-ink); }
.box.corollary::before { background:var(--red-ink); }
.box.corollary .box-label { color:var(--red-ink); }

.box.example   { background:var(--parchment-3); border-color:var(--border); }
.box.example::before { background:var(--gold); }
.box.example .box-label { color:var(--gold); }

.box.remark    { background:transparent; border-color:var(--border-light); }
.box.remark::before { background:var(--border); }
.box.remark .box-label { color:var(--ink-light); }

/* ─── Proof ──────────────────────────────────────────────────────────────── */
.proof-toggle {
  display:inline-flex; align-items:center; gap:6px;
  font-family:var(--font-display); font-style:italic; font-size:.85rem;
  color:var(--accent); border:1px solid var(--accent);
  padding:4px 14px; border-radius:2px; cursor:pointer;
  background:transparent; margin-top:8px; transition:all .18s; user-select:none;
}
.proof-toggle:hover { background:var(--accent-pale); }
.proof-toggle .arrow { transition:transform .2s; font-style:normal; }
.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 18px; font-style:italic;
  border-left:3px solid var(--border); color:var(--ink-mid); font-size:.97rem;
}

.qed { float:right; font-family:var(--font-display); font-size:1.1rem; color:var(--ink); }

/* ─── Formula ────────────────────────────────────────────────────────────── */
.formula-block {
  text-align:center; padding:20px 16px; margin:18px 0;
  background:var(--parchment-2); border:1px solid var(--border);
  border-radius:2px; overflow-x:auto;
}

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

.math-table th {
  background:var(--ink); color:var(--parchment-3); padding:10px 14px;
  text-align:left; font-family:var(--font-display); font-size:1rem;
  font-weight:600; font-style:italic;
}

.math-table td { padding:9px 14px; border-bottom:1px solid var(--border-light); }
.math-table tr:nth-child(even) td { background:var(--parchment-2); }
.math-table td:first-child { font-family:var(--font-mono); font-size:.82rem; color:var(--accent); }

/* ─── Code ───────────────────────────────────────────────────────────────── */
code {
  font-family:var(--font-mono); font-size:.84em;
  background:var(--parchment-3); color:var(--accent);
  padding:2px 5px; border-radius:2px;
}

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

/* ─── Mobile ─────────────────────────────────────────────────────────────── */
.mobile-header {
  display:none; position:sticky; top:0; z-index:50;
  background:var(--ink); padding:12px 18px;
  align-items:center; justify-content:space-between;
}
.mobile-menu-btn { background:none; border:none; color:var(--parchment-3); font-size:1.3rem; cursor:pointer; }
.mobile-title { font-family:var(--font-display); font-size:1.1rem; color:var(--parchment-3); font-style:italic; }
.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,.55); }
.drawer-panel { position:relative; z-index:1; width:270px; background:var(--ink); height:100%; overflow-y:auto; padding:16px 0; }

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