[#78369122] editor design
- reordering now achieved by buttons up/down
- most theming moved out of the css (e.g. colours & borders)
- plus-button moved into RHS panel
- annotation formatter added, persists to server