GitLab

Don't always switch to ground floor when highlighting even though there are matches at currently displayed level; resolves #53

Longer (red) highlighting - 20 (instead of 5) seconds + hide symbols for 5 (instead of 2) seconds. Resolves #49

Screensaver: rename reset_page() to screensaver_start() and add screensaver_stop(); only animate mapmarkers when screensaving; #36 #19

Detect mouse to determine if "which" option (panzoom) and loading JQuery.mousewheel is necessary; #31 (and #4)

Readd legend animation and animate text (otherwise sometimes hard to see that text has changed); #36

Switch to flex layout for Map and Legend; reduce page loading lag (and lose animation for now); #36 (and #4)