Around the time of the iOS7 announcement I installed an iOS7 theme onto my JB 4s running 6. It made some of the fonts thinner etc. Yesterday I updated to iOS7 (non JB obv) and several of the fonts are still messed up. I restored the phone to factory and then loaded a back up. Any clue how I can delete these weird fonts? I suppose it's a risk of JB to have leftovers hanging around in the file system.