Make `code` elements bordered, for github style