.w3-input {  }
input.w3-input, select.w3-input { padding: 2px; }
.w3-button {padding: 4px 12px} /* .w3-button:hover {all: revert !important} */
.w3-blue {text-shadow: 1px 1px #777}
.w3-blue.w3-button:hover {background: #1d87da !important; color: white !important; }