made edge labels and tweaks menu rendering configurable in intro.js