.ace_editor {
    border: 1px solid lightgray;
    margin-bottom: 1px !important;
    width: 100%;
}

div.spacer {
    margin-top:16px;
}

body {margin:auto; max-width: 70em;}

div.h {background-color: #F5F5FF;margin: .5em 0;}

pre {background-color: #EEE;margin:0;padding: .5em;}