Add vertical margin to `highlight`

…so multiple code blocks are distinctive.