The Coq Dev Team <_description>Coq/Ssreflect color scheme for the vernacular language