anchor.diff:  					a(href, ng-click="stop_on_validation_error = false")
   						i.fa.fa-fw(ng-class="{'fa-check': !stop_on_validation_error}")
   						| &nbsp;#{translate("ignore_validation_errors")}
  -				li.dropdown-header #{translate("file_checks")}
   				li
   					a(href, ng-click="recompile({check:true})")
   						i.fa.fa-fw()
  
positive.code: 		.alert.alert-danger(ng-show="pdf.failure")
  			strong #{translate("compile_error")}. 
  			span #{translate("generic_failed_compile_message")}.
  
  		div(ng-repeat="entry in pdf.logEntries.all", ng-controller="PdfLogEntryController")
  			.alert(
  
negative.code: 
  				p.entry-content(ng-show="entry.content") {{ entry.content.trim() }}
  
  		p
  			.files-dropdown-container
  				a.btn.btn-default.btn-sm(
  