Update STYLE, incorporating wiki; close #468

Backticks on `Definition`