file_path <- "fl_2020.shp"

SF_data <- st_read(file_path)
## Reading layer `fl_2020' from data source 
##   `/Users/zacharywinograd/R Studios Folders/POS 6933/fl_2020.shp' 
##   using driver `ESRI Shapefile'
## Simple feature collection with 6162 features and 11 fields
## Geometry type: MULTIPOLYGON
## Dimension:     XY, XYZ
## Bounding box:  xmin: -87.6349 ymin: 24.39631 xmax: -79.97431 ymax: 31.00097
## z_range:       zmin: 0 zmax: 0
## Geodetic CRS:  NAD83
SF_Data<- st_make_valid(SF_data)
View(SF_data)

SF_data1<-SF_Data |>
  mutate(trump_pct = G20PRERTRU/(G20PRERTRU+G20PREDBID))

shapefile_data_alachua<- SF_data1 |>
  filter(COUNTY=="ALA")
ggplot(data=shapefile_data_alachua) +
  geom_sf(aes(fill=trump_pct)) +
  scale_fill_gradient2(low = 'blue', mid = 'white', high = 'red', midpoint = 0.5) +  # Midpoint at 0.5
  theme_minimal() +
  labs(title = "Florida State House District 22", fill = "Trump %")