Simple HTML library that allows one to avoid the need to mix raw HTML and PHP.