/* December 2025 Holidays Trading Schedule page-only styles. Shared header/navigation
   live in site.css. The schedule table keeps the original page's own rules, which
   are preserved verbatim in css/december-2025-holidays-trading-schedule-inline-06.css.
   The page has no entrance animations, so it needs no overflow containment. */