Fixes #177: Added labelSeparator config option to mobile slider
Added functionality to show horizontal scrollbar on TOC when labels are too long
Merge branch 'master' into deploy/webkaart-test