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