body, .pure-g-r [class *= "pure-u"] { font-family: "Helvetica Neue", Helvetica, Arial, sans-serif; decoration: no }
.container { width: 900px; margin: 0 auto; }
@media only screen and (max-width: 950px) {
    .container { width: 95%; } }
h1 a { text-decoration: none; color: black; }
h1 a:hover { text-decoration: underline; color: black; }
.pure-button { vertical-align: top; font-size: 95%; }
#out, #in, #env, #ops, #stack { font: 12px/1.5 monospace; }
#out { height: 200px; overflow: auto; margin-right: 20px; }
#in { width: 300px; }
.in { color: #444; }
.out { color: #449; }
.error { color: #944; }
.var, .op, .stack { background-color: #EEEEEE; margin: 1px 1px 0 0; padding: 3px; }
.var { float: left; }
.var span { display: inline-block; width: 100px; white-space: nowrap; overflow: hidden; text-overflow: ellipsis; }
#mocha { margin: 0; }
#mocha #mocha-stats { top: 50px; }
.highlight { background: #acf; }