better error styling
authorChristian Weiske <cweiske@cweiske.de>
Fri, 13 Apr 2012 18:08:44 +0000 (20:08 +0200)
committerChristian Weiske <cweiske@cweiske.de>
Fri, 13 Apr 2012 18:08:44 +0000 (20:08 +0200)
data/templates/tool.htm
www/phorkie.css

index ef8e5e0..27e6d9d 100644 (file)
@@ -28,6 +28,7 @@
 
  {% include 'display-file.htm' %}
 
+ <div class="annotations">
  {% for number,lineinfos in toolres.annotations if number != 'general' %}
   {% for line in lineinfos %}
    <div class="alert {{line.getAlertLevel}}">
@@ -35,6 +36,7 @@
    </div>
   {% endfor %}
  {% endfor %}
+ </div>
 
  {% include 'display-foot.htm' %}
 {% endblock %}
index 3e4b061..e478165 100644 (file)
@@ -48,6 +48,12 @@ h1 {
 .file .code {
     margin-left: 2em;
 }
+
+div.annotations div.alert {
+    margin-bottom: 1ex;
+}
+
+
 ul.pager {
     margin-top: 2ex;
 }