Add vertical margin to `highlight`

…so multiple code blocks are distinctive:

![docs change: before and after](https://cloud.githubusercontent.com/assets/5774638/3422681/7ea44b04-ff58-11e3-8b2d-4e33ede66b1c.png)