/* theme.css — AirlinePilotEDU's own look. Loaded after the engine styles, so anything here overrides
   them: colours (the CSS variables in index.html), the sidebar, cards, the landing page.
   Course-owned: tools/update-engine.mjs never touches this file. */