Use <code/> for samples and keys.

Having these properly marked with a tag allows the CSS to highlight them.
Before a mixture of single quotes, double quotes and <tt/> was used.

Fixes #408.
Add information about @: register.