tweaks to style in debugger html output.