h1.title { font-family: monospace; font-size: 120%; font-weight: bold; margin-top: 0.5em; margin-bottom: 0; }
pre#htmlpre { height: 400px; overflow: scroll; resize: vertical; width: 100%; }
pre#astpre  { height: 400px; overflow: scroll; resize: vertical; width: 100%; }
div#preview { height: 400px; resize: vertical; width: 100%; }
iframe{ height: 400px; width: 100%; border: none; padding: 0; margin: 0; overflow: scroll; }
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; }
textarea#text { width: 100%; overflow: scroll; resize: vertical; height: 400px; font-family: monospace; white-space: pre; word-wrap: normal; background-color: white; color: black; }
