/* Original font files; see docs/sources/frama-oppo.md. */
@font-face{font-family:'PP Frama';src:url('./fonts/PPFrama-Regular.otf') format('opentype');font-style:normal;font-weight:100 800;font-display:swap}
@font-face{font-family:'PP Frama';src:url('./fonts/PPFrama-Black.otf') format('opentype');font-style:normal;font-weight:900;font-display:swap}
@font-face{font-family:'OPPO Sans';src:url('./fonts/OPPOSans4.ttf') format('truetype');font-style:normal;font-weight:100 700;font-display:swap;unicode-range:U+2E80-9FFF,U+F900-FAFF,U+FE10-FE1F,U+FE30-FE4F,U+FF00-FFEF,U+20000-3134F}
:root{--font:'PP Frama','OPPO Sans',-apple-system,BlinkMacSystemFont,'PingFang SC','Microsoft YaHei',sans-serif;--mono:'PP Frama','OPPO Sans',-apple-system,BlinkMacSystemFont,'PingFang SC','Microsoft YaHei',sans-serif;font-weight:400}
/* Preserve the existing grid and natural title spacing. */
.intro h1{letter-spacing:-.6px}
.notebook-heading{letter-spacing:-.2px;text-wrap:balance}
.intro-subtitle{font-style:normal;font-synthesis:none}
.ruler,.updated,.project-tags,.case-nav,.work-heading{font-variant-numeric:tabular-nums}

.font-credit{font-family:var(--font);font-size:10px;color:var(--muted);display:block;margin-bottom:8px}
/* Monochrome character horizon fills the About section behind its copy. */
.intro{isolation:isolate}
.gradient-ascii{position:absolute;inset:0;width:100%;height:100%;z-index:-1;pointer-events:none;mask-image:linear-gradient(to bottom,transparent,#000 12%,#000 88%,transparent)}