A customisation of the Editor theme for WordPress