Merge branch 'dark-theme' into gh-pages
Add / refresh WebID on webizen.org after login.
Merge branch 'gh-pages' into dark-theme