/************************************************************************/ /* * The Coq Proof Assistant / The Coq Development Team */ /* v * INRIA, CNRS and contributors - Copyright 1999-2018 */ /* sup") .attr("data-hint", function() { return annotateSup($(this).text()); }).addClass("hint--top hint--rounded"); $(".repeat-wrapper > sub") .attr("data-hint", function() { return annotateSub($(this).text()); }).addClass("hint--bottom hint--rounded"); //.text(function(i, text) { return translatePunctuation(text); }); } $(annotateNotations);