* htdocs/document/index.php: better HTML layout