Use calibrated RGB colors for source list highlights as that seems to give more consistently matching colors over color profiles
Use calibrated RGB colors for source list highlights as that seems to give more consistently matching colors over color profiles

JackieXie168/skim,JackieXie168/skim,JackieXie168/skim,JackieXie168/skim,JackieXie168/skim