Theme bug. Fixes #1
Merge pull request #11 from ovgu-ccd/theme-bug

Theme bug. Fixes #1