little fix when reading GUI stylesheet
Merge branch 'HTMLexport'
added header for HTML files
removed trailing newline
added html footer
some workaround for faster debugging
new version
new version of html styles
first usable version of HTML export
Merge branch 'HTMLexport'
reactivated original HTML export button behviour
Merge branch 'HTMLexport'