h1.title { font-family: monospace; font-size: 120%; font-weight: bold; margin-top: 0.5em; margin-bottom: 0; }
pre#htmlpre { height: 600px; overflow: scroll; resize: vertical; width: 100%; }
pre#astpre  { height: 600px; overflow: scroll; resize: vertical; width: 100%; }
div#preview { height: 600px; resize: vertical; width: 100%; }
iframe { 
    height: 600px; 
    width: 100%; 
    border: 1px solid #ddd;
    padding: 10; 
    margin: 0; 
    overflow: scroll; 
    white-space: pre-wrap;
    word-wrap: break-word;
}
div.row { margin-top: 1em; }
blockquote { font-size: 100%; }
footer { color: #555; text-align: center; margin: 1em; }
pre { display: block; padding: 0.5em; color: #333; background: #f8f8ff }
#warnings li { color: red; font-weight: bold; }
label { padding-left: 1em; padding-top: 0; padding-bottom: 0; }
div.timing { color: gray; visibility: hidden; height: 2em; }
p#text-controls { height: 1em; margin-top: 1em; }
a#permalink { margin-left: 1em; }
span.timing { font-weight: bold; }
.selected { background-color: #eeeeee; }
.col-md-6 > div:first-child {
    height: 24px;
    margin-bottom: 4px;
}
textarea#text { 
    width: 100%; 
    overflow-y: auto;
    resize: none; 
    height: 600px; 
    font-family: monospace; 
    white-space: pre-wrap;
    word-wrap: break-word;
    background-color: white; 
    color: black;
    border: 1px solid #ddd;
    outline: none;
    padding: 10px;
    margin: 0;
}