Add ability of pre.bad-code to override pre.prettyprint borders

[manshreck]

Specifically, I'd like to add:

border-left: 2px solid; border-left-color: #c53929;

but these are currently colliding with pre.prettyprint in prettify.js, which sets the border to 1px solid black (and is overridden in the existing CSS).