anchor.diff:              li(class=anonymous ? "disabled": "")
                 a(data-i18n="editor.pop_i18n")#pop-level-i18n-button Populate i18n
               li.divider
  -            li.dropdown-header Info
  +            li.dropdown-header(data-i18n="common.info") Info
               li#level-history-button
                 a(href='#', data-i18n="general.version_history") Version History
               li.divider
  -            li.dropdown-header Help
  +            li.dropdown-header(data-i18n="common.help") Help
               li
                 a(href='https://github.com/codecombat/codecombat/wiki/Artisan-Home', data-i18n="editor.wiki", target="_blank") Wiki
               li
  
positive.code:                   a.play-with-team-button(data-team=match.yourTeam, data-opponent=match.opponentSessionID)= match.yourTeam + ' vs. ' + match.opponentName
          
          else
            li(title="⌃↩ or ⌘↩: Play preview of current level")#play-button
              a
                span.glyphicon-play.glyphicon
          li.dropdown
            a(data-toggle='dropdown')
              span.glyphicon-chevron-down.glyphicon
            ul.dropdown-menu
              li.dropdown-header Actions
              li
                a#level-watch-button
                  span.watch
  
negative.code:         span.navbar-brand #{level.attributes.name}
  
        ul.nav.navbar-nav.navbar-right
          li#undo-button(data-i18n="[title]general.undo", title="Undo (Ctrl+Z)")
            a
              span.glyphicon-arrow-left.glyphicon
          li#redo-button(data-i18n="[title]general.redo", title="Redo (Ctrl+Shift+Z)")
              a
                span.glyphicon-arrow-right.glyphicon
          if authorized
  