fix typo in STYLE
use GFM with highlighting for Coq code blocks