/* syntax highlighting */

.codehilite .err { border: none; } /* Error */