Dark color mode (and a few more)

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.