Terse HTML syntax