-
Thorbjørn Lindeijer authored
Make the background of the files and line numbers adapt to the background color. Making it darker only works nicely for non-dark backgrounds, but it's better than hardcoding a light background. The highlight of the search results still has to be fixed.
83974d89