--- /dev/null
+package jrw.sp;
+
+import java.util.*;
+
+public class HtmlFormatter extends Formatter {
+ private static final Collection<String> shortenable = new HashSet<>(Arrays.asList("audio", "br", "hr", "img", "input", "meta", "link", "source", "video"));
+
+ public HtmlFormatter(Element root) {
+ super(xhtml.doctype, root);
+ }
+
+ protected boolean shorten(Element el) {
+ if((el.name.ns == xhtml.ns) && !shortenable.contains(el.name.local))
+ return(false);
+ return(super.shorten(el));
+ }
+}