.syntax-container.syntax-theme-base div.editor.syntax {
padding: 0.2em !important; margin: 0 !important; white-space: pre; }
.syntax-container.syntax-theme-base div.editor.syntax:focus {
outline: none; }
.syntax-container.syntax-theme-base div.editor.syntax {
padding: 0.2em !important; margin: 0 !important; white-space: pre; }
.syntax-container.syntax-theme-base div.editor.syntax:focus {
outline: none; }