/* src/components/CndLayoutInterface.css */
.cnd-layout-interface {
  font-family: var(--bs-font-sans-serif, -apple-system, BlinkMacSystemFont, "Segoe UI", Roboto, "Helvetica Neue", sans-serif);
}
.cnd-layout-interface--disabled {
  opacity: 0.6;
  pointer-events: none;
}
.cnd-layout-interface__toggle {
  position: relative;
  display: inline-block;
  width: 48px;
  height: 24px;
  cursor: pointer;
  flex-shrink: 0;
}
.cnd-layout-interface__toggle-input {
  opacity: 0;
  width: 0;
  height: 0;
  position: absolute;
}
.cnd-layout-interface__toggle-slider {
  position: absolute;
  cursor: pointer;
  top: 0;
  left: 0;
  right: 0;
  bottom: 0;
  background-color: var(--bs-gray-400, #6c757d);
  border-radius: 24px;
  transition: background-color 0.3s ease;
  z-index: 1;
}
.cnd-layout-interface__toggle-slider::before {
  position: absolute;
  content: "";
  height: 20px;
  width: 20px;
  left: 2px;
  top: 2px;
  background-color: white;
  border-radius: 50%;
  transition: transform 0.3s ease;
  box-shadow: 0 2px 4px rgba(0, 0, 0, 0.2);
  will-change: transform;
  z-index: 2;
}
.cnd-layout-interface__toggle-input:checked + .cnd-layout-interface__toggle-slider {
  background-color: #0d6efd;
  background-color: var(--bs-primary, #0d6efd);
}
.cnd-layout-interface__toggle-input:checked + .cnd-layout-interface__toggle-slider::before {
  transform: translateX(24px);
}
.cnd-layout-interface__toggle-input:disabled + .cnd-layout-interface__toggle-slider {
  opacity: 0.5;
  cursor: not-allowed;
}
.cnd-layout-interface__toggle-input:focus + .cnd-layout-interface__toggle-slider {
  box-shadow: 0 0 0 2px var(--bs-primary, #0d6efd), 0 0 0 4px rgba(13, 110, 253, 0.25);
}
.cnd-layout-interface__textarea {
  font-family:
    "Monaco",
    "Menlo",
    "Ubuntu Mono",
    "Consolas",
    "Courier New",
    monospace;
  font-size: 0.875rem;
  line-height: 1.6;
  background-color: var(--bs-gray-50, #f8f9fa);
  transition:
    border-color 0.15s ease-in-out,
    box-shadow 0.15s ease-in-out,
    background-color 0.15s ease-in-out;
}
.cnd-layout-interface__textarea:focus {
  background-color: white;
  border-color: var(--bs-primary, #0d6efd);
  box-shadow: 0 0 0 0.25rem rgba(13, 110, 253, 0.25);
}
.cnd-layout-interface__textarea:disabled {
  background-color: var(--bs-gray-100, #e9ecef);
  opacity: 1;
}
.cnd-layout-interface__content {
  min-height: 400px;
}
.cnd-layout-interface .btn-outline-secondary:hover {
  transform: translateY(-1px);
  box-shadow: 0 2px 4px rgba(0, 0, 0, 0.1);
  transition: all 0.2s ease;
}
@media (max-width: 576px) {
  .cnd-layout-interface__toggle {
    width: 44px;
    height: 22px;
  }
  .cnd-layout-interface__toggle-slider::before {
    height: 18px;
    width: 18px;
  }
  .cnd-layout-interface__toggle-input:checked + .cnd-layout-interface__toggle-slider::before {
    transform: translateX(22px);
  }
  .cnd-layout-interface__textarea {
    font-size: 0.8125rem;
  }
}
@media print {
  .cnd-layout-interface__toggle,
  .cnd-layout-interface__toggle-label {
    display: none !important;
  }
}
@media (prefers-reduced-motion: reduce) {
  .cnd-layout-interface__toggle-slider,
  .cnd-layout-interface__toggle-slider::before,
  .cnd-layout-interface__textarea,
  .cnd-layout-interface .btn-outline-secondary {
    transition: none !important;
  }
}
@media (prefers-contrast: high) {
  .cnd-layout-interface__toggle-slider {
    border: 2px solid;
  }
}

/* src/components/NoCodeView/NoCodeView.css */
.cardContainer {
  display: flex;
  flex-direction: column;
  gap: 10px;
}
.noCodeCard {
  background: #ffffff;
  border-radius: 8px;
  box-shadow: 0 4px 6px rgba(0, 0, 0, 0.1), 0 1px 3px rgba(0, 0, 0, 0.06);
  padding: 10px 16px;
}
.input-group-text.stretch-height {
  height: 100%;
}
.closeButton {
  float: right;
  background-color: transparent;
  color: grey;
  font-size: 1.5rem;
  padding: 0;
}
.closeButton:hover {
  color: black;
  cursor: pointer;
  background-color: transparent;
}
.infolabel {
  cursor: help;
  text-decoration: underline;
  color: #007bff;
}
.infolabel:hover {
  color: #0056b3;
  text-decoration: none;
}
.highlight {
  border: 1px solid #007bff;
  animation: fadeConstraintBorder 1s ease-out forwards;
}
@keyframes fadeConstraintBorder {
  0% {
    border-color: #007bff;
  }
  100% {
    border-color: transparent;
  }
}

/* src/components/InstanceBuilder/InstanceBuilder.css */
.instance-builder {
  border: 1px solid #e0e0e0;
  border-radius: 8px;
  padding: 20px;
  background: #ffffff;
  font-family:
    -apple-system,
    BlinkMacSystemFont,
    "Segoe UI",
    Roboto,
    sans-serif;
  max-width: 800px;
}
.instance-builder__header {
  display: flex;
  justify-content: space-between;
  align-items: center;
  margin-bottom: 20px;
  padding-bottom: 10px;
  border-bottom: 1px solid #e0e0e0;
}
.instance-builder__header h2 {
  margin: 0;
  color: #333;
  font-size: 1.5rem;
}
.instance-builder__stats {
  display: flex;
  gap: 15px;
  font-size: 0.9rem;
  color: #666;
}
.instance-builder__stats span {
  background: #f5f5f5;
  padding: 4px 8px;
  border-radius: 4px;
}
.instance-builder__error {
  background: #fee;
  border: 1px solid #fcc;
  color: #c33;
  padding: 10px 15px;
  border-radius: 4px;
  margin-bottom: 20px;
  display: flex;
  justify-content: space-between;
  align-items: center;
}
.instance-builder__error button {
  background: none;
  border: none;
  color: #c33;
  font-size: 1.2rem;
  cursor: pointer;
  padding: 0;
  width: 20px;
  height: 20px;
}
.instance-builder__content {
  display: flex;
  flex-direction: column;
  gap: 30px;
}
.relation-atoms {
  background: #f9f9f9;
  border: 1px solid #e0e0e0;
  border-radius: 4px;
  padding: 12px;
  margin: 8px 0;
}
.atom-selector {
  display: flex;
  align-items: center;
  gap: 8px;
  margin-bottom: 8px;
}
.atom-selector label {
  min-width: 80px;
  font-weight: 500;
}
.atom-selector select {
  flex: 1;
  min-width: 200px;
}
.arity-controls {
  display: flex;
  gap: 8px;
  padding-top: 8px;
  border-top: 1px solid #e0e0e0;
}
.arity-controls button {
  background: #6c757d;
  color: white;
  border: none;
  padding: 6px 12px;
  border-radius: 4px;
  cursor: pointer;
  font-size: 0.8rem;
}
.arity-controls button:hover:not(:disabled) {
  background: #5a6268;
}
.instance-builder__section {
  border: 1px solid #f0f0f0;
  border-radius: 6px;
  padding: 20px;
  background: #fafafa;
}
.instance-builder__section h3 {
  margin: 0 0 15px 0;
  color: #444;
  font-size: 1.2rem;
  border-bottom: 1px solid #e0e0e0;
  padding-bottom: 8px;
}
.instance-builder__form {
  margin-bottom: 20px;
}
.form-row {
  display: flex;
  gap: 10px;
  align-items: center;
  flex-wrap: wrap;
}
.form-row input,
.form-row select {
  padding: 8px 12px;
  border: 1px solid #ddd;
  border-radius: 4px;
  font-size: 0.9rem;
  min-width: 120px;
  flex: 1;
}
.form-row input:focus,
.form-row select:focus {
  outline: none;
  border-color: #007acc;
  box-shadow: 0 0 0 2px rgba(0, 122, 204, 0.2);
}
.form-row button {
  background: #007acc;
  color: white;
  border: none;
  padding: 8px 16px;
  border-radius: 4px;
  cursor: pointer;
  font-size: 0.9rem;
  white-space: nowrap;
}
.form-row button:hover:not(:disabled) {
  background: #005a9e;
}
.form-row button:disabled {
  background: #ccc;
  cursor: not-allowed;
}
.instance-builder__list {
  max-height: 300px;
  overflow-y: auto;
  border: 1px solid #e0e0e0;
  border-radius: 4px;
  background: white;
}
.empty-state {
  padding: 20px;
  text-align: center;
  color: #888;
  font-style: italic;
  margin: 0;
}
.list-item {
  display: flex;
  justify-content: space-between;
  align-items: center;
  padding: 12px 15px;
  border-bottom: 1px solid #f0f0f0;
}
.list-item:last-child {
  border-bottom: none;
}
.list-item:hover {
  background: #f9f9f9;
}
.item-info {
  display: flex;
  align-items: center;
  gap: 10px;
  flex: 1;
}
.item-info strong {
  color: #333;
  font-weight: 600;
}
.item-label {
  color: #666;
  font-style: italic;
}
.item-type {
  background: #e7f3ff;
  color: #0066cc;
  padding: 2px 6px;
  border-radius: 3px;
  font-size: 0.8rem;
  font-weight: 500;
}
.remove-button {
  background: #dc3545;
  color: white;
  border: none;
  padding: 6px 12px;
  border-radius: 4px;
  cursor: pointer;
  font-size: 0.8rem;
}
.remove-button:hover:not(:disabled) {
  background: #c82333;
}
.remove-button:disabled {
  background: #ccc;
  cursor: not-allowed;
}
.relation-group {
  margin-bottom: 15px;
}
.relation-group h4 {
  margin: 0 0 10px 0;
  color: #555;
  font-size: 1rem;
  padding: 8px 15px;
  background: #f0f8ff;
  border-left: 3px solid #007acc;
}
.relation-group .list-item {
  margin-left: 15px;
  border-left: 2px solid #e0e0e0;
}
.instance-builder__actions {
  display: flex;
  gap: 15px;
  align-items: flex-start;
  padding-top: 20px;
  border-top: 1px solid #e0e0e0;
}
.clear-button {
  background: #6c757d;
  color: white;
  border: none;
  padding: 10px 20px;
  border-radius: 4px;
  cursor: pointer;
  font-size: 0.9rem;
}
.clear-button:hover:not(:disabled) {
  background: #5a6268;
}
.clear-button:disabled {
  background: #ccc;
  cursor: not-allowed;
}
.import-section {
  flex: 1;
}
.import-section summary {
  cursor: pointer;
  font-weight: 500;
  color: #007acc;
  padding: 10px 0;
}
.import-section summary:hover {
  color: #005a9e;
}
.import-section textarea {
  width: 100%;
  padding: 10px;
  border: 1px solid #ddd;
  border-radius: 4px;
  font-family: "Courier New", monospace;
  font-size: 0.9rem;
  resize: vertical;
  margin-top: 10px;
}
.import-section textarea:focus {
  outline: none;
  border-color: #007acc;
  box-shadow: 0 0 0 2px rgba(0, 122, 204, 0.2);
}
@media (max-width: 768px) {
  .instance-builder {
    padding: 15px;
  }
  .instance-builder__header {
    flex-direction: column;
    align-items: flex-start;
    gap: 10px;
  }
  .form-row {
    flex-direction: column;
    align-items: stretch;
  }
  .form-row input,
  .form-row select,
  .form-row button {
    min-width: auto;
    width: 100%;
  }
  .instance-builder__actions {
    flex-direction: column;
  }
  .list-item {
    flex-direction: column;
    align-items: flex-start;
    gap: 10px;
  }
  .item-info {
    flex-direction: column;
    align-items: flex-start;
    gap: 5px;
  }
}

/* src/components/ErrorMessageModal/ErrorMessageModal.css */
.error-card {
  min-width: 320px;
  max-width: 100%;
}
#error-message-modal {
  border-radius: 0.5rem;
  border: 2px var(--bs-danger) solid;
}
#error-message-modal .highlight {
  background-color: #ffeb3b;
  border-radius: 4px;
  border: none;
  animation: none;
}
code > code,
code > pre {
  border: 1px solid var(--bs-code-color);
  padding: 0.2em 0.4em;
  border-radius: 4px;
}

/* src/components/ReplInterface/ReplInterface.css */
.repl-interface {
  display: flex;
  flex-direction: column;
  gap: 15px;
  background: #1e1e1e;
  color: #d4d4d4;
  border-radius: 8px;
  padding: 15px;
  font-family:
    "Courier New",
    "Monaco",
    "Menlo",
    monospace;
  max-width: 1400px;
  min-height: 200px;
}
.repl-interface__main {
  display: flex;
  flex-direction: column;
  gap: 20px;
}
.repl-interface__header {
  display: flex;
  align-items: center;
  justify-content: space-between;
  gap: 15px;
  margin-bottom: 10px;
  padding-bottom: 8px;
  border-bottom: 1px solid #333;
}
.repl-interface__stats {
  display: flex;
  gap: 10px;
  font-size: 0.85rem;
  color: #9cdcfe;
}
.repl-interface__stats span {
  background: rgba(156, 220, 254, 0.1);
  padding: 3px 6px;
  border-radius: 3px;
  border: 1px solid rgba(156, 220, 254, 0.3);
}
.repl-interface__terminals {
  display: flex;
  flex-direction: column;
  gap: 15px;
  flex: 1;
}
.repl-terminal {
  background: #252526;
  border: 1px solid #3c3c3c;
  border-radius: 6px;
  display: flex;
  flex-direction: column;
  min-height: 120px;
}
.repl-terminal__header {
  background: #2d2d30;
  padding: 8px 12px;
  border-bottom: 1px solid #3c3c3c;
  font-size: 0.9rem;
  font-weight: 600;
  color: #cccccc;
  display: flex;
  justify-content: flex-end;
  align-items: center;
}
.repl-terminal__help {
  color: #6a737d;
  font-size: 0.8rem;
  cursor: pointer;
}
.repl-terminal__help:hover {
  color: #9cdcfe;
}
.repl-terminal__output {
  flex: 1;
  padding: 10px;
  overflow-y: auto;
  font-size: 0.85rem;
  line-height: 1.4;
  min-height: 60px;
  max-height: 120px;
}
.repl-terminal__input {
  border-top: 2px solid #4ec9b0;
  padding: 15px;
  background: #1e1e1e;
}
.repl-terminal__input textarea {
  width: 100%;
  background: transparent;
  border: 2px solid #3c3c3c;
  border-radius: 4px;
  padding: 10px;
  color: #d4d4d4;
  font-family: inherit;
  font-size: 0.9rem;
  line-height: 1.4;
  resize: none;
  outline: none;
  min-height: 60px;
  max-height: 100px;
  transition: border-color 0.2s ease;
}
.repl-terminal__input textarea:focus {
  border-color: #4ec9b0;
}
.repl-terminal__input textarea::placeholder {
  color: #6a737d;
}
.repl-terminal__controls {
  display: flex;
  justify-content: flex-end;
  align-items: center;
  padding-top: 12px;
  border-top: 1px solid #4ec9b0;
}
.repl-terminal__execute {
  background: #4ec9b0;
  color: #1e1e1e;
  border: none;
  padding: 8px 16px;
  border-radius: 4px;
  cursor: pointer;
  font-size: 0.85rem;
  font-family: inherit;
  font-weight: 600;
}
.repl-terminal__execute:hover:not(:disabled) {
  background: #6bd4ba;
}
.repl-terminal__execute:disabled {
  background: #3c3c3c;
  color: #6a737d;
  cursor: not-allowed;
}
.repl-terminal__clear {
  display: none;
}
.repl-output-line {
  margin: 2px 0;
  padding: 2px 0;
}
.repl-output-line.command {
  color: #9cdcfe;
}
.repl-output-line.command::before {
  content: "> ";
  color: #4ec9b0;
  font-weight: bold;
}
.repl-output-line.success {
  color: #4ec9b0;
}
.repl-output-line.error {
  color: #f48771;
}
.repl-output-line.error::before {
  content: "\2717  ";
}
.repl-output-line.info {
  color: #dcdcaa;
}
.repl-output-line.info::before {
  content: "\2139  ";
}
.repl-output-line.help {
  color: #6a737d;
  font-style: italic;
}
.repl-interface__actions {
  display: flex;
  gap: 10px;
  align-items: center;
  padding-top: 15px;
  border-top: 1px solid #3c3c3c;
}
.repl-interface__action-button {
  background: #2d2d30;
  color: #cccccc;
  border: 1px solid #3c3c3c;
  padding: 8px 16px;
  border-radius: 4px;
  cursor: pointer;
  font-size: 0.85rem;
  font-family: inherit;
}
.repl-interface__action-button:hover:not(:disabled) {
  background: #37373d;
  border-color: #505050;
}
.repl-interface__action-button:disabled {
  background: #1e1e1e;
  color: #6a737d;
  cursor: not-allowed;
}
.repl-interface__action-button.primary {
  background: #0e639c;
  border-color: #0e639c;
  color: white;
}
.repl-interface__action-button.primary:hover:not(:disabled) {
  background: #1177bb;
  border-color: #1177bb;
}
.repl-interface__action-button.danger {
  background: #a74747;
  border-color: #a74747;
  color: white;
}
.repl-interface__action-button.danger:hover:not(:disabled) {
  background: #c85450;
  border-color: #c85450;
}
@media (max-width: 1024px) {
  .repl-interface__drawers {
    flex-direction: column;
  }
  .repl-interface__drawer {
    max-width: none;
  }
  .repl-terminal {
    min-height: 100px;
  }
}
@media (max-width: 768px) {
  .repl-interface {
    padding: 10px;
  }
  .repl-interface__header {
    flex-direction: column;
    align-items: flex-start;
    gap: 10px;
  }
  .repl-terminal__input textarea {
    min-height: 40px;
  }
  .repl-interface__drawers {
    gap: 8px;
  }
}
.repl-terminal__output::-webkit-scrollbar {
  width: 8px;
}
.repl-terminal__output::-webkit-scrollbar-track {
  background: #252526;
}
.repl-terminal__output::-webkit-scrollbar-thumb {
  background: #424242;
  border-radius: 4px;
}
.repl-terminal__output::-webkit-scrollbar-thumb:hover {
  background: #4f4f4f;
}
.repl-interface__drawers {
  display: flex;
  gap: 10px;
  margin-top: 10px;
}
.repl-interface__drawer {
  background: #252526;
  border: 1px solid #3c3c3c;
  border-radius: 6px;
  flex: 1;
  max-width: 300px;
}
.repl-interface__drawer-header {
  padding: 8px 12px;
  background: #2d2d30;
  border-bottom: 1px solid #3c3c3c;
  font-size: 0.9rem;
  font-weight: 600;
  color: #cccccc;
  display: flex;
  justify-content: space-between;
  align-items: center;
  cursor: pointer;
}
.repl-interface__drawer-toggle {
  font-size: 0.8rem;
  color: #9cdcfe;
}
.repl-interface__drawer-content {
  max-height: 200px;
  overflow-y: auto;
  padding: 8px;
}
.repl-interface__drawer-content.collapsed {
  display: none;
}
.repl-interface__drawer-item {
  font-size: 0.8rem;
  padding: 6px 8px;
  background: rgba(156, 220, 254, 0.05);
  border: 1px solid rgba(156, 220, 254, 0.2);
  border-radius: 3px;
  line-height: 1.3;
  margin-bottom: 4px;
  display: flex;
  justify-content: space-between;
  align-items: center;
}
.repl-interface__drawer-item-content {
  flex: 1;
}
.repl-interface__drawer-item-header {
  color: #9cdcfe;
  font-weight: 600;
}
.repl-interface__drawer-item-detail {
  color: #dcdcaa;
  font-size: 0.75rem;
  margin-top: 2px;
}
.repl-interface__drawer-delete {
  background: #a74747;
  border: none;
  color: white;
  font-size: 0.7rem;
  padding: 2px 6px;
  border-radius: 3px;
  cursor: pointer;
  margin-left: 8px;
  opacity: 0.7;
  transition: opacity 0.2s ease;
}
.repl-interface__drawer-delete:hover {
  opacity: 1;
  background: #c85450;
}
.repl-interface__drawer-empty {
  color: #6a737d;
  font-style: italic;
  font-size: 0.8rem;
  text-align: center;
  padding: 10px;
}
/*# sourceMappingURL=react-component-integration.css.map */