/* ============================================================
   p-adics.lucas.mat.br
   Hand-written stylesheet matching lucas.mat.br's Astro build.
   CSS variables and typography lifted from the main site so the
   top bar and overall feel stay consistent across subdomains.
   ============================================================ */

/* --- Fonts (Atkinson Hyperlegible, copied from main site) --- */
@font-face {
  font-family: Atkinson;
  src: url("/assets/fonts/atkinson-regular.woff") format("woff");
  font-display: swap;
  font-weight: 400;
  font-style: normal;
}
@font-face {
  font-family: Atkinson;
  src: url("/assets/fonts/atkinson-bold.woff") format("woff");
  font-display: swap;
  font-weight: 700;
  font-style: normal;
}

/* --- Design tokens (mirror main site) --- */
:root {
  --accent: #2337ff;
  --accent-dark: #000d8a;
  --black: 15, 18, 25;
  --gray: 96, 115, 159;
  --gray-light: 229, 233, 240;
  --gray-dark: 34, 41, 57;
  --gray-gradient: rgba(var(--gray-light), 50%), #fff;
  --box-shadow:
    0 2px 6px rgba(var(--gray), 25%),
    0 8px 24px rgba(var(--gray), 33%),
    0 16px 32px rgba(var(--gray), 33%);

  /* Layout */
  --sidebar-width: 260px;
  --content-max: 760px;
  --container-max: 1140px;

  /* Font stack */
  --font-atkinson: Atkinson, "Atkinson fallback: Arial", Arial, sans-serif;
}

/* --- Base resets --- */
*,
*::before,
*::after {
  box-sizing: border-box;
}

html {
  scroll-behavior: smooth;
  scroll-padding-top: 5em; /* room for sticky header on anchor jumps */
}

body {
  font-family: var(--font-atkinson);
  margin: 0;
  padding: 0;
  text-align: left;
  background: linear-gradient(var(--gray-gradient)) no-repeat;
  background-size: 100% 600px;
  word-wrap: break-word;
  overflow-wrap: break-word;
  color: rgb(var(--gray-dark));
  font-size: 20px;
  line-height: 1.7;
}

h1,
h2,
h3,
h4,
h5,
h6 {
  margin: 0 0 0.5rem;
  color: rgb(var(--black));
  line-height: 1.2;
}

h1 { font-size: 3.052em; }
h2 { font-size: 2.000em; margin-top: 1.8em; }
h3 { font-size: 1.563em; margin-top: 1.4em; }

a,
a:hover {
  color: var(--accent);
}

p { margin-bottom: 1em; }

code {
  padding: 2px 5px;
  background-color: rgb(var(--gray-light));
  border-radius: 3px;
  font-size: 0.92em;
}

.sr-only {
  border: 0;
  padding: 0;
  margin: 0;
  position: absolute !important;
  height: 1px;
  width: 1px;
  overflow: hidden;
  clip: rect(1px, 1px, 1px, 1px);
  clip-path: inset(50%);
  white-space: nowrap;
}

/* ============================================================
   TOP BAR — matches lucas.mat.br header
   ============================================================ */

.padics-header {
  margin: 0;
  padding: 0 1em;
  background: #fff;
  box-shadow: 0 2px 8px rgba(var(--black), 5%);
  position: sticky;
  top: 0;
  z-index: 100;
}

.padics-header nav {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 1em;
  max-width: var(--container-max);
  margin: 0 auto;
}

.padics-header h2 {
  margin: 0;
  font-size: 1em;
}
.padics-header h2 a {
  text-decoration: none;
  color: rgb(var(--black));
}

.padics-header .internal-links {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
}

.padics-header .internal-links a {
  display: inline-block;
  padding: 1em 0.5em;
  color: rgb(var(--black));
  border-bottom: 4px solid transparent;
  text-decoration: none;
}

.padics-header .internal-links a.active {
  text-decoration: none;
  border-bottom-color: var(--accent);
  font-weight: 700;
}

.padics-header .social-links {
  display: flex;
  align-items: center;
  gap: 0.25em;
}
.padics-header .social-links a {
  display: flex;
  align-items: center;
  padding: 0.5em;
  color: rgb(var(--gray-dark));
  text-decoration: none;
}
.padics-header .social-links a:hover {
  color: var(--accent);
}

.padics-header .lang-toggle {
  font-weight: 700;
  font-size: 0.85em;
  letter-spacing: 0.05em;
  padding: 0.4em 0.6em;
}

@media (max-width: 720px) {
  .padics-header .social-links a:not(.lang-toggle) {
    display: none;
  }
}

/* ============================================================
   PAGE LAYOUT — sidebar + main
   ============================================================ */

.padics-layout {
  max-width: var(--container-max);
  margin: 0 auto;
  padding: 2em 1em 4em;
  display: grid;
  grid-template-columns: var(--sidebar-width) minmax(0, 1fr);
  gap: 3em;
}

.padics-main {
  max-width: var(--content-max);
  min-width: 0;
}

/* ============================================================
   SIDEBAR
   ============================================================ */

.padics-sidebar {
  position: sticky;
  top: 5em;
  align-self: start;
  font-size: 0.92em;
  max-height: calc(100vh - 6em);
  overflow-y: auto;
  padding-right: 0.5em;
}

.padics-sidebar h3 {
  font-size: 0.78em;
  text-transform: uppercase;
  letter-spacing: 0.08em;
  color: rgb(var(--gray));
  margin: 1.4em 0 0.6em;
  font-weight: 700;
}

.padics-sidebar h3:first-of-type { margin-top: 0; }

.padics-sidebar ol {
  list-style: none;
  padding: 0;
  margin: 0;
  counter-reset: padics-counter;
}

.padics-sidebar li {
  display: flex;
  align-items: baseline;
  gap: 0.5em;
  padding: 0.35em 0;
  border-bottom: 1px solid rgb(var(--gray-light));
  counter-increment: padics-counter;
}
.padics-sidebar li:last-child { border-bottom: none; }

.padics-sidebar li::before {
  content: counter(padics-counter);
  color: rgb(var(--gray));
  font-size: 0.85em;
  font-variant-numeric: tabular-nums;
  flex-shrink: 0;
  min-width: 1.2em;
}

.padics-sidebar li a {
  flex: 1;
  text-decoration: none;
  color: rgb(var(--gray-dark));
  line-height: 1.3;
  transition: color 120ms ease;
}
.padics-sidebar li a:hover {
  color: var(--accent);
}
.padics-sidebar li a:focus-visible {
  outline: 2px solid var(--accent);
  outline-offset: 2px;
  border-radius: 2px;
}

/* anchor landing offset for sticky header */
.playground-card,
.posts-list li {
  scroll-margin-top: 5em;
}

.padics-sidebar .back-link {
  display: block;
  margin-top: 2em;
  padding-top: 1em;
  border-top: 1px dashed rgb(var(--gray-light));
  font-size: 0.88em;
  color: rgb(var(--gray));
  text-decoration: none;
}
.padics-sidebar .back-link:hover { color: var(--accent); }

/* ============================================================
   HERO
   ============================================================ */

.padics-hero h1 {
  font-size: 3em;
  margin-bottom: 0.2em;
  letter-spacing: -0.01em;
}

.padics-hero .tagline {
  font-size: 1.15em;
  color: rgb(var(--gray-dark));
  margin-top: 0;
  margin-bottom: 0;
  max-width: 36em;
}

.padics-hero .one-liner {
  margin-top: 1.5em;
  padding: 1em 1.2em;
  background: rgba(var(--gray-light), 0.5);
  border-left: 4px solid var(--accent);
  border-radius: 0 6px 6px 0;
  font-size: 1.05em;
}
.padics-hero .one-liner code {
  font-size: 0.95em;
  background: rgba(var(--gray-light), 0.9);
}

/* ============================================================
   CARDS — playgrounds grid
   ============================================================ */

.playgrounds-grid {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 1em;
  margin: 1.2em 0 2em;
}

.playground-card {
  display: block;
  padding: 1.1em 1.2em;
  background: #fff;
  border: 1px solid rgb(var(--gray-light));
  border-radius: 8px;
  text-decoration: none;
  color: rgb(var(--gray-dark));
  transition: border-color 120ms ease, transform 120ms ease, box-shadow 120ms ease;
  position: relative;
  font-size: 0.95em;
}
.playground-card:hover {
  border-color: var(--accent);
  transform: translateY(-2px);
  box-shadow: 0 6px 18px rgba(var(--gray), 18%);
}
.playground-card.is-disabled {
  cursor: not-allowed;
  opacity: 0.85;
}
.playground-card.is-disabled:hover {
  transform: none;
  border-color: rgb(var(--gray-light));
  box-shadow: none;
}

.playground-card .num {
  display: inline-block;
  font-size: 0.8em;
  color: rgb(var(--gray));
  font-weight: 700;
  margin-bottom: 0.2em;
  letter-spacing: 0.05em;
}
.playground-card .title {
  display: block;
  font-weight: 700;
  font-size: 1.08em;
  color: rgb(var(--black));
  margin-bottom: 0.35em;
  line-height: 1.25;
}
.playground-card .desc {
  display: block;
  font-size: 0.92em;
  color: rgb(var(--gray-dark));
  line-height: 1.45;
}

/* ============================================================
   POSTS LIST
   ============================================================ */

.posts-list {
  list-style: none;
  padding: 0;
  margin: 1em 0 2em;
  counter-reset: posts-counter;
}
.posts-list li {
  display: grid;
  grid-template-columns: 2em 1fr;
  gap: 0.6em;
  align-items: baseline;
  padding: 0.8em 0;
  border-bottom: 1px solid rgb(var(--gray-light));
  counter-increment: posts-counter;
}
.posts-list li:last-child { border-bottom: none; }
.posts-list li::before {
  content: counter(posts-counter, decimal-leading-zero);
  color: rgb(var(--gray));
  font-variant-numeric: tabular-nums;
  font-weight: 700;
  font-size: 0.9em;
}
.posts-list .post-title {
  font-weight: 600;
  color: rgb(var(--black));
}
.posts-list .post-desc {
  display: block;
  font-size: 0.92em;
  color: rgb(var(--gray-dark));
  margin-top: 0.15em;
  line-height: 1.5;
}

/* ============================================================
   "Em breve" / "Coming soon" chip
   ============================================================ */

.chip-soon {
  display: inline-block;
  font-size: 0.7em;
  font-weight: 700;
  letter-spacing: 0.05em;
  text-transform: uppercase;
  padding: 0.18em 0.6em;
  border-radius: 999px;
  background: rgb(var(--gray-light));
  color: rgb(var(--gray-dark));
  vertical-align: middle;
  margin-left: 0.4em;
  white-space: nowrap;
}

.playground-card .chip-soon {
  position: absolute;
  top: 0.7em;
  right: 0.7em;
  margin: 0;
}

/* ============================================================
   FOOTER
   ============================================================ */

.padics-footer {
  padding: 2em 1em 4em;
  background: linear-gradient(var(--gray-gradient)) no-repeat;
  color: rgb(var(--gray));
  text-align: center;
  font-size: 0.9em;
}
.padics-footer a { color: rgb(var(--gray-dark)); }

/* ============================================================
   MOBILE
   ============================================================ */

@media (max-width: 900px) {
  .padics-layout {
    grid-template-columns: 1fr;
    gap: 1.5em;
    padding: 1.5em 1em 3em;
  }

  .padics-sidebar {
    position: static;
    max-height: none;
    overflow: visible;
    padding: 0;
    background: #fff;
    border: 1px solid rgb(var(--gray-light));
    border-radius: 8px;
  }

  .padics-sidebar-toggle {
    display: block;
    width: 100%;
    background: transparent;
    border: none;
    padding: 0.9em 1em;
    text-align: left;
    font: inherit;
    font-size: 0.95em;
    font-weight: 700;
    color: rgb(var(--gray-dark));
    cursor: pointer;
  }
  .padics-sidebar-toggle::after {
    content: "▾";
    float: right;
    transition: transform 150ms ease;
  }
  .padics-sidebar[data-open="false"] .padics-sidebar-toggle::after {
    transform: rotate(-90deg);
  }
  .padics-sidebar[data-open="false"] .padics-sidebar-content {
    display: none;
  }
  .padics-sidebar-content {
    padding: 0 1em 1em;
  }

  .playgrounds-grid {
    grid-template-columns: 1fr;
  }

  .padics-hero h1 { font-size: 2.2em; }
  h2 { font-size: 1.6em; }

  body { font-size: 18px; line-height: 1.6; }
}

/* Desktop: hide the mobile accordion toggle */
@media (min-width: 901px) {
  .padics-sidebar-toggle { display: none; }
  .padics-sidebar-content { display: block !important; }
}

/* ============================================================
   PLAYGROUND PAGES — generic widget styling
   ============================================================ */

.play-page-head {
  margin-bottom: 1.5em;
}
.play-page-head .play-eyebrow {
  display: inline-block;
  font-size: 0.78em;
  text-transform: uppercase;
  letter-spacing: 0.1em;
  color: rgb(var(--gray));
  font-weight: 700;
  margin-bottom: 0.3em;
}
.play-page-head h1 {
  font-size: 2.4em;
  margin: 0 0 0.2em;
  letter-spacing: -0.01em;
}
.play-page-head .play-page-tagline {
  font-size: 1.1em;
  color: rgb(var(--gray-dark));
  margin: 0;
  max-width: 36em;
}

.play-widget {
  background: #fff;
  border: 1px solid rgb(var(--gray-light));
  border-radius: 10px;
  padding: 1.2em;
  margin: 1.5em 0 2em;
}

/* controls */
.play-controls {
  display: flex;
  flex-wrap: wrap;
  align-items: center;
  gap: 0.6em;
  padding-bottom: 1em;
  border-bottom: 1px solid rgb(var(--gray-light));
  margin-bottom: 1.2em;
}
.play-control {
  display: inline-flex;
  align-items: center;
  gap: 0.4em;
  font-size: 0.92em;
  color: rgb(var(--gray-dark));
}
.play-control-label {
  font-weight: 700;
  color: rgb(var(--gray));
  font-size: 0.85em;
  letter-spacing: 0.03em;
  text-transform: uppercase;
}
.play-controls select {
  font: inherit;
  font-size: 0.95em;
  padding: 0.35em 0.5em;
  border: 1px solid rgb(var(--gray-light));
  border-radius: 6px;
  background: #fff;
  color: rgb(var(--gray-dark));
  cursor: pointer;
}
.play-btn {
  font: inherit;
  font-size: 0.9em;
  font-weight: 600;
  padding: 0.5em 0.95em;
  border: 1px solid rgb(var(--gray-light));
  border-radius: 6px;
  background: #fff;
  color: rgb(var(--gray-dark));
  cursor: pointer;
  transition: background 120ms ease, border-color 120ms ease, color 120ms ease;
}
.play-btn:hover { border-color: var(--accent); color: var(--accent); }
.play-btn-primary {
  background: var(--accent);
  border-color: var(--accent);
  color: #fff;
}
.play-btn-primary:hover {
  background: var(--accent-dark);
  border-color: var(--accent-dark);
  color: #fff;
}
.play-btn-ghost {
  color: rgb(var(--gray));
}

.play-step-readout {
  margin-left: auto;
  font-size: 0.9em;
  color: rgb(var(--gray-dark));
  font-variant-numeric: tabular-nums;
}
.play-step-readout strong {
  font-size: 1.15em;
  color: var(--accent);
}

/* series readout */
.play-series-readout {
  font-size: 0.95em;
  color: rgb(var(--gray-dark));
  margin-bottom: 1.2em;
  padding: 0.7em 0.9em;
  background: rgba(var(--gray-light), 0.4);
  border-radius: 6px;
  line-height: 1.5;
}
.play-series-readout .play-series-label {
  font-weight: 700;
  color: rgb(var(--gray));
  font-size: 0.8em;
  text-transform: uppercase;
  letter-spacing: 0.05em;
  margin-right: 0.4em;
}
.play-series-readout code {
  background: transparent;
  padding: 0;
  font-size: 1em;
}

/* two-panel layout */
.play-panels {
  display: grid;
  grid-template-columns: repeat(2, minmax(0, 1fr));
  gap: 1.2em;
}

.play-panel {
  background: rgba(var(--gray-light), 0.3);
  border-radius: 8px;
  padding: 1em 1.1em;
  display: flex;
  flex-direction: column;
}
.play-panel-title {
  margin: 0 0 0.7em;
  font-size: 1em;
  text-transform: uppercase;
  letter-spacing: 0.06em;
  color: rgb(var(--gray-dark));
  font-weight: 700;
}

.play-svg-wrap {
  background: #fff;
  border: 1px solid rgb(var(--gray-light));
  border-radius: 6px;
  padding: 0.5em;
  margin-bottom: 0.9em;
  overflow: hidden;
}
.play-svg-wrap svg {
  display: block;
  width: 100%;
  height: auto;
}

.play-stats {
  display: flex;
  flex-direction: column;
  gap: 0.35em;
  margin: 0;
  padding: 0;
}
.play-stats > div {
  display: flex;
  justify-content: space-between;
  align-items: baseline;
  gap: 0.6em;
  font-size: 0.93em;
}
.play-stats dt {
  color: rgb(var(--gray));
  font-weight: 400;
}
.play-stats dd {
  margin: 0;
  font-family: ui-monospace, Menlo, Consolas, "Liberation Mono", monospace;
  color: rgb(var(--gray-dark));
  font-weight: 600;
}
.play-stats code {
  background: transparent;
  padding: 0;
  font-size: 1em;
}

.play-caption {
  margin: 0.9em 0 0;
  font-size: 0.85em;
  color: rgb(var(--gray));
  font-style: italic;
}

/* p-adic digit block */
.play-digit-block {
  background: #fff;
  border: 1px solid rgb(var(--gray-light));
  border-radius: 6px;
  padding: 0.9em 1em;
  margin-bottom: 0.9em;
  display: flex;
  flex-direction: column;
  gap: 0.55em;
}
.play-digit-row {
  display: flex;
  align-items: center;
  gap: 0.7em;
  flex-wrap: wrap;
}
.play-digit-tag {
  font-size: 0.8em;
  color: rgb(var(--gray));
  text-transform: uppercase;
  letter-spacing: 0.05em;
  font-weight: 700;
  min-width: 7.5em;
  flex-shrink: 0;
}
.play-digits {
  font-family: ui-monospace, Menlo, Consolas, "Liberation Mono", monospace;
  font-size: 1.15em;
  letter-spacing: 0.06em;
  word-break: keep-all;
  white-space: nowrap;
  overflow-x: auto;
}
.play-digits .d-match {
  color: var(--accent);
  font-weight: 700;
}
.play-digits .d-other {
  color: rgb(var(--gray));
}
.play-digits .d-ellipsis {
  color: rgb(var(--gray));
  margin-right: 0.25em;
}

.play-digit-note {
  margin: 0;
  font-size: 0.88em;
  color: rgb(var(--gray-dark));
}
.play-digit-note strong {
  color: var(--accent);
  font-size: 1.1em;
}

.play-footnote {
  margin: 1.2em 0 0;
  font-size: 0.82em;
  color: rgb(var(--gray));
  text-align: center;
}

/* responsive */
@media (max-width: 720px) {
  .play-panels {
    grid-template-columns: 1fr;
  }
  .play-controls {
    gap: 0.45em;
  }
  .play-step-readout {
    margin-left: 0;
    width: 100%;
    text-align: right;
  }
  .play-digit-tag {
    min-width: 0;
    width: 100%;
  }
  .play-digits {
    font-size: 1.05em;
  }
}