Updates to wsgi, and set default theme to 'vert'