Steps to reproduce

Look at the rendered user guide (either the HTML or the PDF version):

• In the Kotlin test name exception absence testing, the middle word has a different color than the outer words, even though the words are part of the same identifier.
• In the Java tests, import static org.junit is highlighted inconsistently. The word static is highlighed like other class names, the words org and junit are colored differently.

On a related note, the highlighting colors in the HTML and PDF versions differ unnecessarily.