Bootstrap interface, JSON highlighter, different button behaviour