* editorconfig: add override for the server HTML (which already is 2-space indented) * server: add a subtle loading animation to the edit box