/* App-specific styles, work on top of Sneat (official or fallback) */
.stat-value{font-size:1.6rem;font-weight:600;color:#566a7f}
.code-box{background:#2b2c40;color:#cbcbe2;border-radius:.5rem;padding:1rem 1.1rem;font-size:.82rem;overflow:auto;white-space:pre;font-family:ui-monospace,Menlo,Consolas,monospace}
.mono{font-family:ui-monospace,Menlo,Consolas,monospace;font-size:.82rem}
.doc-side{position:sticky;top:1rem}
.doc-side a{display:block;padding:.4rem .75rem;border-radius:.375rem;color:#697a8d}
.doc-side a:hover{background:#e7e7ff;color:#696cff}
html{scroll-behavior:smooth}
.leaflet-container{font-family:inherit}