Some prettification of the web interface