Fla. Stat. § 281.01

For the purposes of ss. 281.01-281.08, the term “Capitol Complex” includes that portion of Tallahassee, Leon County, Florida, commonly referred to as the Capitol, the Historic Capitol, the Senate Office Building, the House Office Building, the Knott Building, the Pepper Building, the Holland Building, and the curtilage of each, including the state-owned lands and public streets adjacent thereto within an area bounded by and including Monroe Street, Jefferson Street, Duval Street, and Gaines Street. The term shall also include the State Capital Circle Office Complex located in Leon County, Florida.