some stylistic changes and (not yet functional) theme selector added