diff options
| -rw-r--r-- | data/templates/tool.htm | 2 | ||||
| -rw-r--r-- | www/phorkie.css | 6 |
2 files changed, 8 insertions, 0 deletions
diff --git a/data/templates/tool.htm b/data/templates/tool.htm index ef8e5e0..27e6d9d 100644 --- 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 3e4b061..e478165 100644 --- 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; } |