tweaked doc html layout