EdJoPaTo wrote: I also changed the class red (`.red`) to something more useful for light and dark themes (The first change in the diff). So I would also change `.cyan` to `background-color: #0ff6` for the same reason. It still looks cyan, just not as bright. https://github.com/llvm/llvm-project/pull/93080