Repository navigation
Conversation
Move the styles repeated on each page into one stylesheet: - the rule hiding Plotly notifications - the page header table and GitHub logo sizes - the colour and underline of the title link Pages render exactly as before.
Previous review (2026-11-09)Automated review note — AI-generated (Claude+Codex), validated against the live diff. Please sanity-check before acting. Reviewed at head This CSS consolidation looks good: rendering is unchanged on all 18 pages in Chromium, and eslint passes on this head. Minor (1)
|
|
Automated review note — AI-generated (Claude+Codex), validated against the live diff. Please sanity-check before acting. Reviewed at head This CSS consolidation still looks good at af46562: computed styles match base on all 18 pages in headless Chromium, and eslint passes. Since the last review, the indentation of the |
A first step towards keeping style in CSS rather than inline. This adds
Libraries/common.cssand moves the styles repeated across the tool pages into it:<style>blocks)Pages render exactly as before. Screenshots of all 18 changed pages are pixel-identical to main. GeofenceGenerator has its own header layout and is left as is.
This also gives somewhere to put a dark theme, which I'll follow up with separately.