Hans

I would like to be able to change the background color and the font of the line number gutter. As it is now the gutter looks too much like the...