/* Quick hover tooltip (static/js/fast-tips.js): stands in for native title tooltips */
#ft-tip {
  position: fixed;
  z-index: 100000;
  display: none;
  max-width: 320px;
  padding: 6px 9px;
  border-radius: 6px;
  background: #1a1a2e;
  color: #f5f3ef;
  font: 500 11.5px/1.45 "Work Sans", sans-serif;
  white-space: pre-line;
  overflow-wrap: anywhere;
  box-shadow: 0 4px 14px rgba(0, 0, 0, 0.18);
  pointer-events: none;
}
html[data-theme="dark"] #ft-tip {
  background: #e6edf3;
  color: #0f172a;
}