Fix colour definitions

Usually, the ciphertext is considered public, so should be in blue.
Also, any macros that contain multiple symbols should use {{}} as in
line 159, otherwise strange behavior will be experienced when putting
them in subscripts and superscripts.
Correct public key OW game