/* Deadmap — shared page chrome (2026-09-10, Francis: "go ahead and make
   the shared page.css… per-page BODY styles still drift — a shared
   page.css would be the next step").

   The wwdead-classic palette (game stylesheet: body #232, text #bcb,
   trebuchet ms; h1 band #787 on #040; links salmon #f99) that every
   page used to redeclare with small drift (12px vs 13px, h1 margins,
   button radii, table padding…). The canonical rule for each selector
   is the MAJORITY variant across the 15 pages; the page-specific
   <style> blocks still override these (they load later), so pages that
   deliberately differ keep their look.

   Scope: PAGE CHROME only (body, headings, tables, buttons, inputs,
   the .age/.ok/.err/.warn status classes, the token box). NOT here:
   nav.css (the menu), MAP_STYLE in static/index.html (the map's
   data-presentation colors), src/layers.py STYLES (the tile pixels +
   legend — the server half of the map style), and page layouts
   (.wrap widths are intentional per page).
*/

body { margin: 0; background: #232; color: #bcb; font-family: 'trebuchet ms', verdana, sans-serif; font-size: 12px; line-height: 1.5; }
a { color: #f99; text-decoration: none; }
a:visited { color: #c99; }
h1 { background: #787; color: #040; font-size: 16px; margin: 4px 0 2px; padding: 4px 10px; }
h2 { color: #efe; font-size: 14px; margin: 22px 0 8px; border-bottom: 1px solid #343; padding-bottom: 3px; }
table { border-collapse: collapse; width: 100%; margin: 6px 0; font-size: 11px; }
th, td { border: 1px solid #343; padding: 5px 8px; text-align: left; font-size: 12px; vertical-align: top; }
button { cursor: pointer; padding: 4px 10px; background: #454; color: #efe; border: 1px solid #343; border-radius: 3px; font-size: 11px; font-family: inherit; }
button:hover { background: #787; color: #040; }
#tokbox input { width: 100%; max-width: 100%; box-sizing: border-box; padding: 5px; background: #1c261c; color: #efe; border: 1px solid #343; border-radius: 3px; font-size: 11px; }
.age { color: #9a9; white-space: nowrap; }
.ok { color: #8c8; }
.err { color: #f88; }
.warn { color: #fd7; }