textarea { width: 100%; height: 400px; font-size: 10pt; line-height: 1.3em; font-family: Monaco, monospace;
           border: 2px solid #eee; border-top: none; border-bottom: none; padding: 2px 3px;}
.CodeMirror-line-numbers { width: 1.8em; color: #aaa; background-color: #eee; text-align: right;
                           padding: .4em; margin: 0; font-family: Monaco, monospace; font-size: 10pt; line-height: 1.3em; padding-bottom: 5px; }

#wrapper { 
    border-bottom: 8px solid #EEEEEE;
    border-top: 2px solid #eeeeee;
    border-right: 2px solid #eeeeee;
    background: white;
}

.footer a i:before {
  content: '[';
}

.footer a i:after {
  content: ']';
}

.up_line select {
  margin: 6px 10px 0 10px;
  float: left;
}

.submit {
  text-shadow: 1px 1px #eee;
  -webkit-border-radius: 5px;
  -moz-border-radius: 5px;
  cursor: pointer;
}

.up_line span.hotsyntax.active {
  background: #fff;
}