Searched refs:vertPad (Results 1 – 2 of 2) sorted by relevance
9288 var vertPad = 0;9295 vertPad = options.fontMetrics().fboxsep + (label === "colorbox" ? 0 : ruleThickness);9297 vertPad = isSingleChar ? 0.2 : 0; property9300 img = stretchy.encloseSpan(inner, label, vertPad, options);9307 imgShift = inner.depth + vertPad;
9151 let vertPad = 0; variable9158 vertPad = options.fontMetrics().fboxsep + (label === "colorbox" ? 0 : ruleThickness);9160 vertPad = isSingleChar ? 0.2 : 0;9163 img = stretchy.encloseSpan(inner, label, vertPad, options);9170 imgShift = inner.depth + vertPad;