/* html {
  scroll-behavior: smooth;
} */
#rightFloatingStuff {
  display: none;
}

.dimmed {
  color: var(--text-muted);
}

.hiddenUnlessHovered {
  /*   visibility: hidden; */
  opacity: 0;
}

.buttonCell:hover .hiddenUnlessHovered {
  /*   visibility:  */
  opacity: 0.8;
}

.doFlash {
  background: color-mix(in srgb, var(--highlight) 15%, transparent);
  animation: yellowflash-bg 2s;
  animation-timing-function: ease-in-out;
}

@keyframes yellowflash-bg {
  from {
    background: color-mix(in srgb, var(--highlight) 40%, transparent);
  }
  to {
    background: color-mix(in srgb, var(--highlight) 5%, transparent);
  }
}