/* TODO: Use css to format the HTML output */