Functional HTML generation for joxa.