Updates to theme
 - Error messages in terminal window now jive with the rest of the theme's error messaging.
 - Changed HTML tag colors from green to blue, to let them stand out more.
 - Subdued both breakpoint highlighting and breakpoint handling colors to be a bit darker.