The 33-page document, which was filed Tuesday in circuit court in Orange County, Florida, does not specify damages being sought.

CNN: FAMU president resigns in wake of hazing death

Among Florida's largest counties, Orange County's Hispanic population grew by 83% between 2000 and 2010, according to the Pew Hispanic Center.

CNN: Latino boom makes Orlando proving ground for Obama

Until Obama's victory, Orange County, home to Orlando and Disney World, had developed a well-earned reputation as one of Florida's premier battlegrounds.

CNN: Latino boom makes Orlando proving ground for Obama