HTML export: Fix alignment bug