# Helper to hide the menus.
    closeMenus = ->
      $('.navigation.active').removeClass 'active'

    # Bind navigation buttons to open the menus.
    $('.navigation').click (e) ->
      return if e.target.tagName.toLowerCase() is 'a'
      return false if $(e.target).closest('.repl_wrapper').length
      if $(this).hasClass('active')
        closeMenus()
      else
        closeMenus()
        $(this).addClass 'active'
      false

    $(document.body).click (e) -> closeMenus()