added auto-indent command for editor; changed theme to dark; fixed iframe sizes; added pointer interceptor