WordPress plugin that adds controls for editing borders and margins to the Visual editor