#numeral_set_btn {
  float: right;
  margin-right: 20px;
  margin-top: 4px;
}
#numeral_set_btn,
#numeral_set_btn:focus {
  background-color: #1e8fc6;
  border-color: #1e8fc6;
}
#numeral_set_btn:hover {
  background-color: #279cde;
  border-color: #279cde;
}

.header_btn[data-v-4ba33f17] {
  float: right;
  margin: 4px 7px 0px 0px;
  background-color: #1e8fc6;
}
.header_btn[data-v-4ba33f17]:hover,
.header_btn[data-v-4ba33f17]:active,
.header_btn[data-v-4ba33f17]:focus {
  background-color: #1e8fc6;
}