Fix for Bootstrap3 CSS conflicts

Bootstrap3 makes quite a few changes to the plain PRE element that really messes up the console.  This shoud fix it.