##// END OF EJS Templates
pygments: disable the error border on token errors. This mostly confuses the users, and is not usefull that much.
marcink -
r3107:d7242716 default
parent child Browse files
Show More
@@ -571,7 +571,7 b' div.annotatediv { margin-left: 2px; marg'
571 .codehilite {
571 .codehilite {
572 .hll { background-color: #ffffcc }
572 .hll { background-color: #ffffcc }
573 .c { color: #408080; font-style: italic } /* Comment */
573 .c { color: #408080; font-style: italic } /* Comment */
574 .err, .codehilite .err { border: @border-thickness solid #FF0000 } /* Error */
574 .err, .codehilite .err { border: none } /* Error */
575 .k { color: #008000; font-weight: bold } /* Keyword */
575 .k { color: #008000; font-weight: bold } /* Keyword */
576 .o { color: #666666 } /* Operator */
576 .o { color: #666666 } /* Operator */
577 .cm { color: #408080; font-style: italic } /* Comment.Multiline */
577 .cm { color: #408080; font-style: italic } /* Comment.Multiline */
General Comments 0
You need to be logged in to leave comments. Login now