- fixed a bug where tickets wouldn't update according to difficulty when loading a map.
- fixed a bug where experience and rank wouldn't update when returning to main menu
- changed sensitivity values in the settings menu in the pause menu
- changed music slider values to give more precise values