/* The site's tooltips: see tip.js, which every page loads alongside this. */
:root { --tip-bg: #2b2b30; --tip-fg: #fff; --tip-edge: transparent; }
:root[data-theme="dark"] { --tip-bg: #4a4a54; --tip-fg: #fff; --tip-edge: #66666f; }
@media (prefers-color-scheme: dark) {
  :root:not([data-theme="light"]) { --tip-bg: #4a4a54; --tip-fg: #fff; --tip-edge: #66666f; }
}
.ui-tip {
  position: fixed; z-index: 2147483000; left: 0; top: 0; max-width: min(18rem, calc(100vw - 16px));
  padding: 4px 8px; border-radius: 6px; border: 1px solid var(--tip-edge);
  background: var(--tip-bg); color: var(--tip-fg); box-shadow: 0 2px 8px rgba(0,0,0,.25);
  font: 500 13px/1.35 system-ui, -apple-system, "Segoe UI", sans-serif; letter-spacing: 0;
  text-align: center; white-space: normal; pointer-events: none;
  opacity: 0; transition: opacity .12s ease;
}
.ui-tip.on { opacity: 1; }
