/// <summary> /// Instantiates a new /// <see cref="PageCountElement"/>. /// </summary> /// <param name="digitsGlyphStyle">digits glyph style</param> public PageCountElement(CounterDigitsGlyphStyle digitsGlyphStyle) : base(HtmlUtils // Workaround to match correct font containing number glyphs .GetAllNumberGlyphsForStyle(digitsGlyphStyle)) { this.digitsGlyphStyle = digitsGlyphStyle; }
/// <summary> /// Instantiates a new /// <see cref="PageTargetCountElement"/>. /// </summary> /// <param name="target">name of the corresponding target</param> /// <param name="digitsGlyphStyle">digits glyph style</param> public PageTargetCountElement(String target, CounterDigitsGlyphStyle digitsGlyphStyle) : base(HtmlUtils.GetAllNumberGlyphsForStyle(digitsGlyphStyle)) { this.target = target.Replace("'", "").Replace("#", ""); this.digitsGlyphStyle = digitsGlyphStyle; }