textarea { font-family: Inconsolata, Monaco, Consolas, "Lucida Console", monospace; font-size: 14px; color: #555; width: 340px; padding: 7px; -webkit-appearance: none; outline: 0; border: 1px solid #bbb; }
body { background: #f7f7f7; }
h3 { color: #dedcd6; font-size: 40px; font-weight: 500; }
label { font-size: 20px; font-weight: bold; color: #5aa707; margin-left: 20px; padding: 8px 10px 8px 15px; border: 1px solid #b7d498; border-radius: 5px; cursor: pointer; }
label input[type=radio], label input[type=checkbox] { margin: 6px 10px 0 0; vertical-align: top; }
.user label { margin-left: 0; margin-right: 20px; }
.layout { margin: 0 15px; }
.tool { margin: 20px -15px 0; }
.navbar-default { text-align: right; background: none; border: none; }
.user { float: left; }
.spaces { float: left; border-left: 1px solid #ccc; margin-left: 20px; display: none; }
.spaces label { color: #666; border-color: #ccc; }
.CodeMirror { font-size: 18px; background-color: #fff; border-radius: 5px; -moz-border-radius: 5px; -webkit-border-radius: 5px; box-shadow: #eaeaea 0 40px 20px; -moz-box-shadow: #eaeaea 0 40px 20px; -webkit-box-shadow: #eaeaea 0 40px 20px; }
.CodeMirror-scroll { height: 400px; }
.CodeMirror-gutter { background-color: #7ec332; border-right: 1px solid #7ec332; }
.CodeMirror-gutter-text { color: #fff; padding: .8em .4em; }
.CodeMirror-lines { padding: .8em; }