/* Rule-select page — flex layout with invisible draggable divider */

mjx-container {
  margin: 10px 0 10px 0!important;
}

#rule-select-layout {
  display: flex;
  flex-direction: row;
  align-items: flex-start;
  padding: 16px 24px;
  min-height: calc(100vh - 48px);
  gap: 0;
}

#rule-select-left {
  flex: 1 1 auto;
  min-width: 260px;
  overflow: hidden;
}

#rule-select-right {
  flex: 1 1 auto;
  min-width: 260px;
  overflow: hidden;
}

/* Invisible draggable divider — no visible line, only cursor on hover */

#rs-divider {
  flex: 0 0 auto;
  width: 6px;
  cursor: col-resize;
  align-self: stretch;
  background: transparent;
  margin: 0 2px;
}

.rs-panel {
  display: flex;
  flex-direction: column;
  gap: 14px;
}

/* Cards fill their container width */

.rs-card {
  width: 100%;
  box-sizing: border-box;
  background: var(--jp-layout-color0);
  border: var(--jp-border-width) solid var(--jp-border-color1);
  border-radius: 6px;
  padding: 14px 16px;
}

.rs-card h3 {
  margin: 0 0 10px 0;
  font-size: calc(1em * 1.1);
  color: var(--jp-ui-font-color1);
}

/* Input rows */

.rs-input-row {
  display: flex;
  align-items: center;
  gap: 8px;
  margin-bottom: 8px;
}

.rs-input-row label {
  min-width: 56px;
  font-size: 0.9em;
  color: var(--jp-ui-font-color1);
}

.rs-input-row input,
.rs-input-row select {
  flex: 1;
  padding: 5px 8px;
  font-family: var(--font-family);
  font-size: 0.95em;
  border: var(--jp-border-width) solid var(--jp-border-color1);
  border-radius: 4px;
  background: var(--jp-layout-color0);
  color: var(--jp-ui-font-color0);
}

.rs-input-row input:focus,
.rs-input-row select:focus {
  border-color: var(--jp-brand-color1);
  outline: none;
}

/* Buttons */

.rs-btn-primary,
.rs-btn-secondary,
.rs-btn-warning {
  padding: 6px 16px;
  border: var(--jp-border-width) solid var(--jp-border-color1);
  border-radius: 4px;
  cursor: pointer;
  font-size: 0.92em;
  font-family: var(--font-family);
}

.rs-btn-primary {
  background: var(--jp-brand-color0);
  color: #fff;
  border-color: var(--jp-brand-color0);
}

.rs-btn-primary:hover {
  filter: brightness(1.1);
}

.rs-btn-secondary {
  background: var(--jp-layout-color1);
  color: var(--jp-ui-font-color0);
}

.rs-btn-secondary:hover {
  background: var(--jp-layout-color2);
}

.rs-btn-warning {
  background: #e65100;
  color: #fff;
  border-color: #e65100;
}

.rs-btn-warning:hover {
  filter: brightness(1.1);
}

/* Error */

.rs-error {
  margin-top: 8px;
  padding: 6px 10px;
  background: #fce4ec;
  border: 1px solid var(--jp-error-color);
  border-radius: 4px;
  color: var(--jp-error-color);
  font-size: 0.88em;
}

/* Steps list */

#rs-steps-list {
  display: flex;
  flex-direction: column;
  gap: 0;
}

.rs-step {
  padding: 8px 8px 8px 14px;
  border-left: 3px solid transparent;
  border-bottom: var(--jp-border-width) solid var(--jp-border-color0);
  transition: background 0.2s;
}

.rs-step:last-child {
  border-bottom: none;
}

.rs-step.active {
  border-left-color: var(--jp-brand-color1);
  background: rgba(91, 137, 205, 0.06);
}

.rs-step .rs-step-explanation {
  font-size: 0.84em;
  color: var(--jp-ui-font-color1);
  margin-bottom: 2px;
}

.rs-step .rs-step-latex {
  min-height: 1.4em;
}

/* Rules list */

#rs-rules-list {
  display: flex;
  flex-direction: column;
  gap: 6px;
}

.rs-placeholder {
  color: var(--jp-ui-font-color1);
  font-size: 0.88em;
  margin: 4px 0;
}

.rs-rule-card {
  display: flex;
  justify-content: space-between;
  align-items: center;
  padding: 8px 12px;
  border: var(--jp-border-width) solid var(--jp-border-color1);
  border-radius: 4px;
  cursor: pointer;
  transition: background 0.15s, border-color 0.15s;
  font-family: var(--font-family);
}

.rs-rule-card:hover {
  background: var(--jp-layout-color1);
  border-color: var(--jp-brand-color1);
}

.rs-rule-card .rs-rule-name {
  font-weight: bold;
  font-size: 0.92em;
  color: var(--jp-ui-font-color0);
}

.rs-rule-card .rs-rule-preview {
  font-size: 0.85em;
  color: var(--jp-ui-font-color1);
  margin-left: 12px;
  white-space: nowrap;
}

/* Status summary */

#rs-status-content {
  font-size: 0.9em;
  color: var(--jp-ui-font-color1);
  line-height: 1.5;
}

/* Utility */

.rs-subtle {
  font-weight: normal;
  font-size: 0.78em;
  color: var(--jp-ui-font-color1);
}

/* Loading spinner */
.rs-loading {
  position: relative;
}

.rs-loading::after {
  content: '';
  position: absolute;
  top: 0;
  left: 0;
  right: 0;
  bottom: 0;
  background: rgba(255, 255, 255, 0.7);
  z-index: 10;
  display: flex;
  align-items: center;
  justify-content: center;
}

.rs-loading-spinner {
  width: 24px;
  height: 24px;
  border: 3px solid var(--jp-brand-color1);
  border-radius: 50%;
  border-top-color: transparent;
  animation: rs-spin 1s linear infinite;
}

@keyframes rs-spin {
  0% { transform: rotate(0deg); }
  100% { transform: rotate(360deg); }
}

@media (max-width: 800px) {
  #rule-select-layout {
    flex-direction: column;
  }
  #rule-select-left {
    width: 100% !important;
    min-width: 0;
  }
  #rule-select-right {
    width: 100%;
  }
  #rs-divider {
    display: none;
  }
}