:root {
  --pf-selection-background: rgba(217, 217, 217, 0.5);
}

#render-panel {
  font-family: monospace;
}

.justification {
  white-space: nowrap;
}

.FOL-box,
.simple-box {
  border: 1px solid var(--bs-body-color);
  border-radius: 3px;
  padding: 2px;
}

.lineno {
  display: block;
  float: left;
  width: 1.8em;
}

.rule {
  display: flex;
  justify-content: space-between;
  align-items: flex-end;
}

.cm-editor .cm-selectionBackground {
  background: var(--pf-selection-background);
}

.cm-editor .cm-cursor {
  border-left: 1.2px solid var(--bs-body-color);
}

.cm-editor.cm-focused > .cm-scroller > .cm-selectionLayer .cm-selectionBackground {
  background: var(--pf-selection-background);
}

.settings-grid {
  display: grid;
  grid-template-columns: auto 1fr;
  gap: 0.5rem 1rem;
  align-items: baseline;
}