Added support for dark mode and a couple other things.

[axhan]

[smurfix]

You might want to add *~ to .gitignore while you're at it.

[jmwright]

@axhan If you are still interested in advancing this PR, would you be able to scope it to just the dark theme changes? There seem to be a lot of unrelated changes in the log.