Setting for themes

This pull requests adds the ability to change the theme, using the themes provided by Ace. Had to also change the CSS for the Settings page a little bit to allow it to wrap longer inputs.