Tiny HTML markup improvements