add margin-bottom: 1.6em to pre.highlight