/* Annotation Dialog Styles */
.logic-checker-annotation-overlay {
  position: fixed;
  top: 0;
  left: 0;
  right: 0;
  bottom: 0;
  background: rgba(0, 0, 0, 0.6);
  z-index: 2147483646;
  display: flex;
  align-items: center;
  justify-content: center;
  font-family: -apple-system, BlinkMacSystemFont, 'Segoe UI', Roboto, sans-serif;
}

.logic-checker-annotation-dialog {
  background: linear-gradient(135deg, #1a1a1a 0%, #0d0d0d 100%);
  border: 1px solid #333;
  border-radius: 12px;
  padding: 24px;
  max-width: 500px;
  width: 90%;
  box-shadow: 0 20px 60px rgba(0, 0, 0, 0.5);
  color: #f5f5f5;
}

.logic-checker-annotation-header {
  display: flex;
  justify-content: space-between;
  align-items: center;
  margin-bottom: 20px;
  padding-bottom: 16px;
  border-bottom: 1px solid #333;
}

.logic-checker-annotation-title {
  font-size: 18px;
  font-weight: 600;
  color: #60a5fa;
  margin: 0;
}

.logic-checker-annotation-close {
  background: none;
  border: none;
  color: #737373;
  font-size: 24px;
  cursor: pointer;
  padding: 0;
  line-height: 1;
  transition: color 0.2s;
}

.logic-checker-annotation-close:hover {
  color: #f5f5f5;
}

.logic-checker-annotation-quote {
  background: #262626;
  border-left: 3px solid #60a5fa;
  padding: 12px 16px;
  margin-bottom: 20px;
  border-radius: 4px;
  font-style: italic;
  color: #d4d4d4;
  font-size: 14px;
  line-height: 1.6;
  max-height: 120px;
  overflow-y: auto;
}

.logic-checker-annotation-label {
  display: block;
  font-size: 12px;
  font-weight: 600;
  color: #d4d4d4;
  margin-bottom: 8px;
  text-transform: uppercase;
  letter-spacing: 0.5px;
}

.logic-checker-annotation-input {
  width: 100%;
  padding: 10px 14px;
  background: #262626;
  border: 1px solid #333;
  border-radius: 6px;
  color: #f5f5f5 !important;
  font-size: 14px;
  margin-bottom: 16px;
  font-family: inherit;
}

.logic-checker-annotation-input:focus {
  outline: none;
  border-color: #60a5fa;
}

.logic-checker-annotation-input::placeholder {
  color: #737373;
}

.logic-checker-annotation-textarea {
  width: 100%;
  min-height: 100px;
  padding: 12px 14px;
  background: #262626 !important;
  border: 1px solid #333;
  border-radius: 6px;
  color: #f5f5f5 !important;
  font-size: 14px;
  line-height: 1.5;
  resize: vertical;
  font-family: inherit;
  margin-bottom: 20px;
}

.logic-checker-annotation-textarea:focus {
  outline: none;
  border-color: #60a5fa;
}

.logic-checker-annotation-textarea::placeholder {
  color: #737373;
}

.logic-checker-annotation-actions {
  display: flex;
  gap: 12px;
  justify-content: flex-end;
}

.logic-checker-annotation-btn {
  padding: 10px 20px;
  border-radius: 6px;
  font-size: 14px;
  font-weight: 600;
  cursor: pointer;
  transition: all 0.2s;
  border: none;
}

.logic-checker-annotation-btn-primary {
  background: linear-gradient(135deg, #60a5fa 0%, #3b82f6 100%);
  color: white;
}

.logic-checker-annotation-btn-primary:hover {
  transform: translateY(-1px);
  box-shadow: 0 4px 12px rgba(96, 165, 250, 0.3);
}

.logic-checker-annotation-btn-primary:disabled {
  opacity: 0.5;
  cursor: not-allowed;
  transform: none;
}

.logic-checker-annotation-btn-secondary {
  background: #262626;
  color: #f5f5f5;
  border: 1px solid #333;
}

.logic-checker-annotation-btn-secondary:hover {
  background: #333;
}

.logic-checker-annotation-success {
  color: #22c55e;
  font-size: 14px;
  text-align: center;
  padding: 12px;
}

.logic-checker-annotation-error {
  color: #ef4444;
  font-size: 14px;
  text-align: center;
  padding: 12px;
}

