themes: fix GUI murmur theme.
Merge pull request #619 from bchretien/master

themes: fix GUI murmur theme.