Theme switcher, download and upload of tex files, a few more toolbar buttons, code and layout improvements