Style/theme improvements

• What was vex-theme-default is now vex-theme-top
• vex-theme-default now more like vex-theme-os but without the grey top border (by popular request)
• Less specific selectors for buttons in all themes to resolve #5