indirection for specifying the current theme, it will eventually be change-able via a web UI