Skip to content

fix wrong ordering of highlighting stylesheets for dark mode, and also nojs highlight bleeding#12523

Merged
gordonwoodhull merged 3 commits intomainfrom
bugfix/layer-highlight-light-dark-light
Apr 15, 2025
Merged

fix wrong ordering of highlighting stylesheets for dark mode, and also nojs highlight bleeding#12523
gordonwoodhull merged 3 commits intomainfrom
bugfix/layer-highlight-light-dark-light

Commits

Commits on Apr 15, 2025