/* Traffic-light blinking animations for Enumeration Status indicator */
@keyframes tl-r { 0%,32% { opacity:1 } 33%,100% { opacity:.1 } }
@keyframes tl-y { 0%,32% { opacity:.1 } 33%,65% { opacity:1 } 66%,100% { opacity:.1 } }
@keyframes tl-g { 0%,65% { opacity:.1 } 66%,100% { opacity:1 } }

/* Live feed dot — heartbeat pulse */
@keyframes live-pulse {
  0%,100% { opacity:1;   transform: scale(1);    }
  50%      { opacity:0.2; transform: scale(0.65); }
}
.live-dot {
  display: inline-block;
  width: 7px; height: 7px;
  border-radius: 50%;
  margin-right: 6px;
  vertical-align: middle;
  animation: live-pulse 1.2s ease-in-out infinite;
}
.live-dot-red    { background: #ff2222; box-shadow: 0 0 5px #ff2222; }
.live-dot-purple { background: #c084fc; box-shadow: 0 0 5px #c084fc; }
.live-dot-orange { background: #f5a742; box-shadow: 0 0 5px #f5a742; }

/* Breach bell shake — dramatic swing so it's clearly visible */
@keyframes bell-ring {
  0%   { transform: rotate(-30deg) scale(1.3); }
  25%  { transform: rotate( 25deg) scale(1.15); }
  50%  { transform: rotate(-20deg) scale(1.3); }
  75%  { transform: rotate( 15deg) scale(1.15); }
  100% { transform: rotate(  0deg) scale(1.2); }
}

/* Dark mode date picker */
.dark-date-picker .DateRangePickerInput {
    background-color: #161b22 !important;
    border: 1px solid #30363d !important;
    border-radius: 6px !important;
    color: #e6e6e6 !important;
}
.dark-date-picker .DateInput_input {
    background-color: #161b22 !important;
    color: #e6e6e6 !important;
    font-size: 12px !important;
    padding: 4px 8px !important;
    border-bottom: 2px solid transparent !important;
}
.dark-date-picker .DateInput_input__focused {
    border-bottom-color: #00f0ff !important;
}
.dark-date-picker .DateRangePickerInput_arrow { color:#8b949e !important; }
.dark-date-picker .DateRangePickerInput_clearDates { color:#8b949e !important; }
.DayPickerNavigation_button { background:#161b22 !important; border-color:#30363d !important; }
.CalendarMonth, .CalendarMonthGrid { background:#0d1117 !important; }
.CalendarDay__default { background:#161b22 !important; color:#e6e6e6 !important; border-color:#21262d !important; }
.CalendarDay__selected, .CalendarDay__selected:hover { background:#00f0ff !important; color:#000 !important; }
.CalendarDay__hovered_span, .CalendarDay__selected_span { background:#00f0ff33 !important; }
.DayPickerNavigation_svg { fill:#8b949e !important; }
.CalendarMonth_caption { color:#ffd700 !important; }
.DayPicker__withBorder { background:#0d1117 !important; border:1px solid #30363d !important; box-shadow:0 8px 32px rgba(0,0,0,0.6) !important; }