/* tooltip que segue o mouse (hover-tooltip.js). Cores do tema por padrão;
   dá pra trocar com --tip-bg / --tip-border / --tip-color */
.hover-tooltip {
  position: fixed;
  z-index: 10000;
  max-width: 280px;
  display: block;
  border: 1px solid var(--tip-border, var(--hot-pink));
  padding: 4px 10px;
  font-family: "m5x7", monospace;
  font-size: 16px;
  line-height: 1.4;
  color: var(--tip-color, var(--hot-pink));
  background-color: var(--tip-bg, var(--soft-pink));
  pointer-events: none;
  white-space: pre-line;
}

.hover-tooltip[hidden] {
  display: none;
}