/* Override dumb defaults in base.css */
a.button {
    padding: 10px 15px !important;
}