.jfontsize-button {
  font-weight: bold;
  padding: 3px;
  color: #72152C;
  border: dotted 1px #72152C;
margin-left: 5px;
}

.jfontsize-button:hover {
  text-decoration: none;
  background: #72152C;
  color: #fff;
  border: dotted 1px #72152C;
}

.jfontsize-disabled, .jfontsize-disabled:hover {
  color: #f2f2f2;
  border: dotted 1px #f2f2f2;
  background: #f2f2f2;
}

