Fix missing HTML editor border