Reset gnome theme.
I was playing with gnome themes earlier today and accidentally clicked on a high contrast theme. This made window borders and text sizes to be gigantic. When I switched to another theme, the theme applied itself, but the window borders and text size are still huge. How can I revert to the average size?