Further color highlighting via optional JavaScript.