.syntax-container.syntax-theme-base div.editor.syntax {
  background-color: white;
  border: 1px inset #aaaaaa;
  padding: 0.2em !important;
  margin: 0 !important;
  white-space: pre; }
.syntax-container.syntax-theme-base div.editor.syntax:focus {
  outline: none; }