Closed jsit closed 4 years ago
I wasn't crazy about that "dirty" yellow color used for search highlighting, so I've changed it to a more "highlighter-yellow" here.
I wasn't crazy about that "dirty" yellow color used for search highlighting, so I've changed it to a more "highlighter-yellow" here.