iOS 7 fixes

Fix the list borders, alignment of list item symbols, range thumb
borders, and distance of window title bar to status bar.
Bogus commit

I don’t know what these changes are but GitHub Mac won’t let me discard
them, so I’ll just commit them.