anchor.diff:  		.col-xs-6
   			.btn-toolbar.pull-right
   				.btn-group
  -					button.btn.btn-primary.btn-play Play
  +					button.btn.btn-primary.btn-play Re-play
   				.btn-group
  -					button.btn.btn-primary.btn-stop(style='display: none;') Stop
  -				
  +					button.btn.btn-primary.btn-stop(style='display: none;') Pause
  +
   				.btn-group
   					button.btn.btn-default.btn-fast.active Fast
   					button.btn.btn-default.btn-slow Slow
   					button.btn.btn-default.btn-slower Slower
   					button.btn.btn-default.btn-step Step
   	br
  -	
  +
   	.panel.panel-default
   		.panel-body
   			.row
  
positive.code: 												else
  													| &nbsp;
  						if party.user.id.toString() === user.id.toString()
  							.pull-right 
  								button.btn.btn-default.btn-sm(type='button' data-toggle='modal' data-target='#mdlSource-#{botNo}') Source
  						
  						p.count(style='line-height: 30px;')
  							span #{battle.moves.reduce(function(m, v) { return m + (v.okay && v.botNo === botNo ? 1 : 0) }, 0)}
  							|  move(s)
  
negative.code: 								|  and hit a <b>#{battle.parties[(move.botNo+1)%2].pieces[battle.parties[(move.botNo+1)%2].grid[move.data.y][move.data.x].pieceNo].kind}</b>!
  							else
  								|  and missed..
  
  						else
  							case move.fail
  								when 'turn#attack erred'
  									|  erred.. battle forfeited
  
  								when 'turn#attack not-called'
  									|  failed to attack.. battle forfeited
  
  	for party, botNo in battle.parties
  		if party.user.id.toString() !== user.id.toString()
  			- continue
  
  		.modal.fade(id='mdlSource-#{botNo}')
  			.modal-dialog.modal-lg
  				.modal-content
  					.modal-header
  						h4.modal-title Source: #{party.bot.name}
  
  					.modal-body
  						pre.pre-scrollable #{party.bot.code}
  
  