Minor fixes.
Merge branch 'dark-theme' into gh-pages