##// END OF EJS Templates
fix HTML capitalization in Highlight2HTML...
fix HTML capitalization in Highlight2HTML To be consistent with surrounding code, where we always capitalize acronyms that appear in class names.

File last commit:

r14070:b9d0a5f7
r15767:f7d93b3d
Show More
error.html
31 lines | 593 B | text/html | HtmlLexer
{% extends "page.html" %}
{% block login_widget %}
{% endblock %}
{% block stylesheet %}
{{super()}}
<style type="text/css">
/* disable initial hide */
div#header, div#site {
display: block;
}
</style>
{% endblock %}
{% block site %}
<div class="error">
{% block h1_error %}
<h1>{{status_code}} : {{status_message}}</h1>
{% endblock h1_error %}
{% block error_detail %}
{% if message %}
<p>The error was:</p>
<div class="traceback-wrapper">
<pre class="traceback">{{message}}</pre>
</div>
{% endif %}
{% endblock %}
</header>
{% endblock %}