better error styling

diff --git a/data/templates/tool.htm b/data/templates/tool.htm
index ef8e5e0c40a0a3b7fdbec147dfaa50e52c4141e3..27e6d9ddb4fe6a80abb76f71b6e3efc8fe0904c8 100644 (file)
--- a/data/templates/tool.htm
+++ b/data/templates/tool.htm
@@ -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 %}

diff --git a/www/phorkie.css b/www/phorkie.css
index 3e4b0618113337397d980b58b9f7da9e5f7899cf..e4781654c63b35c0ab746f4155eb4bb335088b95 100644 (file)
--- a/www/phorkie.css
+++ b/www/phorkie.css
@@ -48,6 +48,12 @@ h1 {
 .file .code {
     margin-left: 2em;
 }
+
+div.annotations div.alert {
+    margin-bottom: 1ex;
+}
+
+
 ul.pager {
     margin-top: 2ex;
 }