* htdocs/document/edit.php: better HTML layout for small display