divider bar too short
* ditch jQueryUI vanilla styles in favor of own ones.
* disable tracking for tooltips and make them behave more like regular ones
  (this also stops my fan from spinning up when using the intel map)

Improvements welcome. Tooltips are currently placed at the bottom of the
element instead of next to cursor. It seems it’s either tracking or placing
it not anywhere where one would expect a tooltip. I immediately regret
having chosen jQueryUI. It’s not very flexible and has awkward defaults.