html {
    padding: 0;
    margin: 0;
    font-family: 'Metrophobic', sans-serif;
}

.header {
    padding: 40px 5px 2px 5px;
    margin: 0 0 60px 0;
    font-weight: bold;
    border-style:solid;
    border-width: 0 0 1px 0;
}

.header #title {
    font-size: 70px;
}

.header #catchphrase {
    font-size: 18px;
    padding-left: 4px;
}

.code-section {
    margin-bottom: 30px;
}

.code-section #title {
    font-size: 18px;
    margin-left: 3px;
}

#input-section #controls {
    display: none;
}

#input-section #waiting {
    display: none;
}

#output-section {
    display: none;
}

#output-section #contents {
    margin-bottom: 30px;
}

#output-section .rendered-output-code-context {
    height: 900px;
    margin-bottom: 30px;
}

#output-section #rendered-output-code-context-large {
    width: 920px;
}

#output-section #rendered-output-code-context-small {
    width: 420px;
}

button.clean-gray {
    font-size: 12px;
    background-color: #eeeeee;
    background-image: -webkit-gradient(linear, left top, left bottom, color-stop(0%, #eeeeee), color-stop(100%, #cccccc));
    background-image: -webkit-linear-gradient(top, #eeeeee, #cccccc);
    background-image: -moz-linear-gradient(top, #eeeeee, #cccccc);
    background-image: -ms-linear-gradient(top, #eeeeee, #cccccc);
    background-image: -o-linear-gradient(top, #eeeeee, #cccccc);
    background-image: linear-gradient(top, #eeeeee, #cccccc);
    border: 1px solid #ccc;
    border-bottom: 1px solid #bbb;
    border-radius: 3px;
    color: #333;
    font: bold 11px/1 "Lucida Grande", "Lucida Sans Unicode", "Lucida Sans", Geneva, Verdana, sans-serif;
    padding: 8px 0;
    text-align: center;
    text-shadow: 0 1px 0 #eee;
    width: 150px;
}

button.clean-gray:hover {
    background-color: #dddddd;
    background-image: -webkit-gradient(linear, left top, left bottom, color-stop(0%, #dddddd), color-stop(100%, #bbbbbb));
    background-image: -webkit-linear-gradient(top, #dddddd, #bbbbbb);
    background-image: -moz-linear-gradient(top, #dddddd, #bbbbbb);
    background-image: -ms-linear-gradient(top, #dddddd, #bbbbbb);
    background-image: -o-linear-gradient(top, #dddddd, #bbbbbb);
    background-image: linear-gradient(top, #dddddd, #bbbbbb);
    border: 1px solid #bbb;
    border-bottom: 1px solid #999;
    cursor: pointer;
    text-shadow: 0 1px 0 #ddd; }

button.clean-gray:active {
    border: 1px solid #aaa;
    border-bottom: 1px solid #888;
    -webkit-box-shadow: inset 0 0 5px 2px #aaaaaa, 0 1px 0 0 #eeeeee;
    box-shadow: inset 0 0 5px 2px #aaaaaa, 0 1px 0 0 #eeeeee; }