#lean-ctx-badge {
  position: fixed;
  bottom: 20px;
  right: 20px;
  background: #1a1a2e;
  color: #00d4aa;
  padding: 8px 16px;
  border-radius: 8px;
  font-family: "SF Mono", "Fira Code", monospace;
  font-size: 12px;
  z-index: 999999;
  opacity: 0;
  transform: translateY(10px);
  transition: opacity 0.3s, transform 0.3s;
  pointer-events: none;
  box-shadow: 0 4px 12px rgba(0, 0, 0, 0.3);
  border: 1px solid #00d4aa33;
  white-space: nowrap;
}

#lean-ctx-badge.visible {
  opacity: 1;
  transform: translateY(0);
}
