A diver was bitten on the arm by a shark off the Florida coast.