I remember girls wearing those, too. Hot pants with a bit of cheek showing was not at all uncommon and no one complained.
When lots of girls are wearing them, it is no longer distracting after a while.
I go to the gym just to get distracted by those!