version 8.4

new feature: different themes for debug mode and production mode