php-sandbox/styles.css

body, textarea, input {
    font: 12px monospace;
}

body {
    background: #eee;
}

input {
    width: 99%;
    margin: auto;
    display: block;
    height: 30px;
    font-size: 20px;
}

a {
    color: #88f;
}

.expand {
    display: block;
    margin-bottom: 5px;
}

.output, .input {
    border: 1px solid #aaa;
    background: #fff;
    -moz-border-radius: 5px;
    -webkit-border-radius: 5px;
    border-radius: 5px;
}

.output {
    padding: 5px 10px;
    margin: 10px;
}

.input {
    margin: .5% 10px;
}

.statusbar {
    padding: 3px 5px;
    background: #E8E8E8;
    -webkit-border-bottom-left-radius: 5px;
    -moz-border-radius-bottomleft: 5px;
    border-bottom-left-radius: 5px;
    -webkit-border-bottom-right-radius: 5px;
    -moz-border-radius-bottomright: 5px;
    border-bottom-right-radius: 5px;
}

.statusbar .copy {
    margin-left: 50px;
    display: none;
}
#clippy {
    position: relative;
    top: 2px;
    left: 0;
}

/* ace-editor requires to define styles by id (specificity) */
.editor#editor {
    width: 100%;
    height: 400px;
    position: relative;
    -webkit-border-top-right-radius: 5px;
    -moz-border-radius-topright: 5px;
    border-top-right-radius: 5px;
}
#editor .ace_gutter {
    -webkit-border-top-left-radius: 5px;
    -moz-border-radius-topleft: 5px;
    border-top-left-radius: 5px;
}

.output img.loader {
    margin-bottom: -4px;
}

.help {
    width: 33%;
    float: left;
    white-space: pre;
}

.footer {
    width: 100%;
    clear: left;
    text-align: center;
    color: #aaa;
}
.footer a {
    color: #aaa;
}

.control-char {
    background: #000;
    color: #fff;
    margin-left: 2px;
    margin-right: 2px;
    -webkit-border-radius: 3px;
    border-radius: 3px;
    padding: 1px 2px;
}

.statusbar .runtime-info {
    text-align: right;
    float: right;
    clear: right;
    width: 350px;
}