Dark color mode

I occasionally read the manpages in a dark environment. A dark colored theme could hurt my eyes less.

This merge request also bundles some other minor improvements. Feel free to cherry pick the commits if some of them are unwanted.