/* stylelint-disable selector-no-type, selector-class-pattern */
button {
    margin-right: 10px;
}
/* stylelint-enable selector-no-type, selector-class-pattern */