Small fix for HTML editor border radius