--- a/server/src/public/css/app.css	Mon Oct 31 14:24:23 2016 +0100
+++ b/server/src/public/css/app.css	Thu Nov 03 01:52:26 2016 +0100
@@ -6061,4 +6061,13 @@
 .corpus-rdf-boolean-false {
   color: #a11; }
 
+.error-btn.collapsed .caret {
+  border-top: 0;
+  border-bottom: 4px dashed;
+  border-bottom: 4px solid \9;
+  content: ""; }
+
+#baseExceptionCollapse {
+  margin-top: 10px; }
+
 /*# sourceMappingURL=app.css.map */