# HG changeset patch
# User Goffi <goffi@goffi.org>
# Date 1634829610 -7200
# Node ID 9cf56f9a15373bb6847b64bfb314123ec5147ac8
# Parent  e982a05d43b193a6295464bd30e9568f734d9256
css (highlight): use red and no border for errors

diff -r e982a05d43b1 -r 9cf56f9a1537 sat_templates/templates/default/static/highlight.css
--- a/sat_templates/templates/default/static/highlight.css	Thu Oct 21 17:19:39 2021 +0200
+++ b/sat_templates/templates/default/static/highlight.css	Thu Oct 21 17:20:10 2021 +0200
@@ -8,7 +8,7 @@
 .highlight .hll { background-color: #ffffcc }
 .highlight  { background: #f8f8f8; }
 .highlight .c { color: #408080; font-style: italic } /* Comment */
-.highlight .err { border: 1px solid #FF0000 } /* Error */
+.highlight .err { color: #9d0c0c } /* Error */
 .highlight .k { color: #008000; font-weight: bold } /* Keyword */
 .highlight .o { color: #666666 } /* Operator */
 .highlight .ch { color: #408080; font-style: italic } /* Comment.Hashbang */