Needed for the theme switcher - JS to set up cookies
Configuration entries to handle bootstrap themes
Theme switcher including some bad typo in the css file name
Merge pull request #91 from jdorn/gui/theme-switcher

A theme switcher