.source-history-dialog .source-history-source {
  width: 100%; min-height: 220px; resize: vertical; box-sizing: border-box;
  background: #141110; color: #fff4dc; border: 1px solid #6b5540;
  border-radius: 10px; padding: 14px; font: 12px/1.5 ui-monospace, monospace;
}
.source-history-dialog #history-version { max-width: 140px; margin-right: 12px; }