Oh, you're right. Don't know how I missed that. This is what works for me. I'm using the rich markdown plugin.
.cm-header-1 {
display: inline-block;
margin-top:.8em;
margin-bottom:.3em;
It's slightly wonky because of the token styling, but it's ok. Thanks!