Patch bugfix (#13)

* Doc fix

* Show location list better

Author: Nyholm

Resources/public/css/webui.css

@@ -66,6 +66,12 @@ pre a {
     word-break: break-all;
 }
 
+.location-list {
+    margin: 0;
+    padding: 0;
+    list-style: none;
+}
+
 
 /* Ajax results */
 .ajax-result {

Resources/views/WebUI/show.html.twig

@@ -74,9 +74,9 @@
 
             {% if message.sourceLocations|length > 0 %}
                 <hr />
-                <ul>
+                <ul class="location-list">
                     {% for location in message.sourceLocations %}
-                        <li><a href="{{ location['full_path']|file_link(location['line']) }}">{{ location['path'] }}</a></li>
+                        <li><a href="{{ location['full_path']|file_link(location['line']) }}">{{ location['path'] }} at line {{ location['line'] }} </a></li>
                     {% endfor %}
                 </ul>
             {% endif %}