added untested json export, got rid of session inside (backport this to htmlTypeWriter), made minor css corrections