/* UI scale: 90% shows more columns; 100% is original size. */
html[data-scale="90"] {
  zoom: 0.9;
}
html[data-scale="90"] .shell {
  min-height: calc(100vh / 0.9);
  height: calc(100vh / 0.9);
}

.scale-toggle {
  display: flex;
  gap: 4px;
  margin-top: 14px;
  padding-top: 12px;
  border-top: 1px solid var(--line, #e5e6eb);
}
.scale-toggle button {
  flex: 1 1 0;
  border: 1px solid var(--line, #e5e6eb);
  background: #fff;
  color: var(--muted, #646a73);
  border-radius: 8px;
  padding: 6px 0;
  font: inherit;
  font-size: 12px;
  font-weight: 650;
  cursor: pointer;
}
.scale-toggle button:hover {
  border-color: #b7e6c9;
  color: #067647;
}
.scale-toggle button.on {
  background: #e8f8ee;
  color: #067647;
  border-color: #b7e6c9;
}