application.css: make padding-top smaller