fix for dark theme; includes one changes to bbcode.php and redbasic/css/style.css
this changes how hl-tags are generated. instead of background-color inline style a CSS class is used (default-hightlight) that's defined in css/style.css.
this works for dev and master as-it-is.