UI: make editor height responsive to DevTools resize, put button above editor, remove default body padding, fixes #9