chiark / gitweb /
Add build-time option to change the color of the "OK" status text