Keeps original bootstrap borders

Removed the borders tweaks in `.highlight pre` and `.linenodiv pre` and the custom `border-right`in `.linenodiv pre`.