On Thu, Jan 12, 2023 at 1:33 AM Samuel Lidén Borell <[email protected]> wrote: > > Oops. I made a last minute change of the themes, and that broke things. Looks > like some theme combinations don't work well. > > I will send an updated patch with a working theme combo + a comment about > this. > > It could also be solved by also wrapping the light theme in a media query, > but then older browsers will not show the highlighting.
Heh, we just sent emails at the same time. See the one I just sent you -- it has a diff for your consideration. Jason
