porting some "dark.css" theme changes over from gh-pages