.set-inputs {
  padding: 20px 18px 10px;
}

.set-row {
  display: flex;
  align-items: center;
  gap: 10px;
  margin-bottom: 12px;
}

.set-row>span {
  min-width: 33px;
  font-size: 14px;
}

.set-row input {
  width: 100%;
  background: #000000;
  font-size: 11px;
}

.set-row button {
  border: 0;
  color: #888;
  padding: 4px;
}

.editor-toolbar {
  display: flex;
  gap: 6px;
  align-items: center;
  flex-wrap: wrap;
  padding: 8px 0;
}

.editor-toolbar input {
  flex: 1;
  min-width: 80px;
  width: 100px;
}

.editor-toolbar button,
.editor-toolbar select {
  font-size: 10px;
  padding: 6px 8px;
}

.editor-toolbar .subtle {
  flex: 1;
  font-size: 10px;
}

.subheading {
  display: flex;
  justify-content: space-between;
  align-items: center;
  gap: 8px;
  padding: 14px 17px 10px;
  font-size: 10px;
  letter-spacing: .6px;
  border-top: 1px solid var(--border);
}

.subheading label {
  font-size: 10px;
  letter-spacing: 0;
  color: #aaa;
  display: flex;
  align-items: center;
  gap: 4px;
}

.venn-editor {
  padding: 10px 17px 20px;
}

.venn-editor p {
  font-size: 10px;
  line-height: 1.8;
  padding: 9px 0;
}

.region-table,
table {
  border-collapse: collapse;
  font-size: 10px;
  width: 100%;
}

th,
td {
  text-align: left;
  border: 1px solid #333;
  padding: 5px 7px;
}

th {
  font-weight: 400;
  color: #aaa;
  background: #151515;
}

.region-table button {
  padding: 3px;
  font-size: 10px;
  border: 0;
  background: transparent;
  text-align: left;
}

.region-table button[aria-pressed=true] {
  color: white;
  text-decoration: underline;
}

.graph-editor {
  padding: 0 15px 10px;
}

.graph-canvas {
  border-top: 1px solid #222;
  border-bottom: 1px solid #222;
}

.matrix-editor {
  padding: 0 15px 20px;
  overflow: auto;
}

.matrix-editor table {
  width: auto;
}

.matrix-editor table button {
  min-width: 28px;
  min-height: 28px;
}

.matrix-editor textarea {
  width: 100%;
  margin: 10px 0;
}

.matrix-editor details {
  margin-top: 16px;
}

.adjacency-details {
  padding: 8px 16px 14px;
}

.adjacency-details pre {
  font-size: 10px;
  max-height: 250px;
  overflow: auto;
  margin-top: 10px;
}