Text search function does not highlight the selected text when user is in distraction-free mode.
To reproduce: enter distraction-free mode and use ctrl-f to search for text.
Cause: the CSS style that colours the highlighting is overriden by the following style: