Change tutorial panel to be open by default
HTML formatting tweak
Invert active line bg color for Ace editor
Show "no notifications" instead of nothing if there are none
Merge pull request #295 from typesafehub/wip/havocp-110-fixes

Various UI fixes