/* hover and focus states, lifted from the export's style-hover / style-focus attributes */
.hv-1:hover { color: #0B5C54; }
.hv-2:hover { color: #2FE2CE; }
.fc-1:focus { border-color: #2FE2CE; }
.hv-3:hover { background: #4EEBD9; }