.el-button--mini.is-round[data-v-4f0bd32a],.el-button--mini[data-v-4f0bd32a]{padding:7px 7px}