if (t == HTML.Tag.A) a.addAttribute(HTML.Attribute.PSEUDO_CLASS, "link");
      public void start(HTML.Tag t, MutableAttributeSet a)      {        // Put the old attribute set on the stack.        pushCharacterStyle();                // Just add the attributes in <code>a</code>.          charAttr.addAttribute(t, a.copyAttributes());                }