@import url('editor.css');

p + pre {
  margin-top: 1em;
}