* Most checkboxes in the settings menu are now "unthemed" so that they look like checkboxes (thanks http://www.reddit.com/user/TheJunkyard).