docs: Small updates and visual improvements of resulting HTML

Change-Id: Ic707fdb2625a6d4d9695c4d7f97b72e0617c1a6f