jsbin/css/style.css

1169 lines
22 KiB
CSS

/* Font via http://robey.lag.net/2010/06/21/mensch-font.html */
@font-face {
font-family: 'MenschRegular';
src: url('/font/mensch-webfont.eot');
src: url('/font/mensch-webfont.eot?#iefix') format('eot'),
url('/font/mensch-webfont.woff') format('woff'),
url('/font/mensch-webfont.ttf') format('truetype'),
url('/font/mensch-webfont.svg#webfont0UwCC656') format('svg');
font-weight: normal;
font-style: normal;
}
body {
margin: 0;
padding: 0;
font-family: "Helvetica Neue", Helvetica, Arial;
font-size: 13px;
min-width: 976px;
overflow: hidden;
background: url(/images/jsbin-bg.gif) repeat-x 0 -10px;
}
p {
margin: 0;
}
#control {
overflow: hidden;
height: 51px;
position: absolute;
/* width: 100%;*/
left: 0;
right: 0;
}
#control, .label {
-webkit-user-select: none;
-khtml-user-select: none;
-moz-user-select: none;
-o-user-select: none;
user-select: none;
}
.control, .help, .starting {
/* width: 100px;*/
padding: 13px 10px;
float: left;
white-space: nowrap;
}
.control {
padding-right: 0;
/* width: 50%;*/
}
.starting {
text-align: center;
}
.help {
width: 10%;
text-align: right;
float: right;
}
.help a {
outline: 0;
}
.starting, .help {
line-height: 25px;
}
ul.flat {
margin: 0;
padding: 0;
}
ul.flat li {
float: left;
display: block;
list-style: none;
margin: 0 0 0 15px;
padding: 0;
}
.help ul.flat {
float: right;
}
#control > *, a {
color: #232323;
text-shadow: #fff 1px 1px 1px;
}
a {
font-weight: bold;
}
a:hover {
text-shadow: #fff -1px -1px 3px;
}
.light {
font-weight: normal;
text-decoration: none;
}
.stretch {
position: absolute;
top: 0;
left: 0;
right: 0;
bottom: 0;
}
#bin {
top: 52px;
width: 100%;
opacity: 0;
}
div.html {
left: 50%;
}
/*.mozilla #bin div.html {
margin-left: -2px;
}
.mozilla #bin.javascript div.javascript,
.mozilla #bin div.html {
border: 1px solid #0080FF;
}
#bin.javascript div.html,
#bin div.javascript {
border: 0;
}
*/
div.code, #live, .resize {
/* width: 50%;*/
/* -webkit-transition: left ease-out 100ms, right ease-out 100ms;*/
}
.resize {
background: #ccc url(data:image/png;base64,iVBORw0KGgoAAAANSUhEUgAAAAMAAAAMCAYAAACnfgdqAAAAMElEQVQIHWP8//8/AxRoMAA5ZkDcAsT/mYCiN4GYBYidGIECUFUMDCAZOEDmUNkAAKKgK80+TE8oAAAAAElFTkSuQmCC) no-repeat left 45%;
}
div.preview {
display: none;
width: 100%;
}
.code .label {
padding: 10px;
margin: 0 10px;
padding-right: 0;
margin-left: 1px;
position: absolute;
z-index: 10;
}
.code .label p {
/* display: inline;*/
font-weight: bold;
/* cursor: pointer;*/
}
.code .label label {
margin-top: 10px;
}
.code .label p > span {
opacity: 0;
filter:alpha(opacity=0);
-webkit-transition: opacity 250ms linear;
-moz-transition: opacity 250ms linear;
}
.code .label p:hover span {
opacity: 1;
filter:alpha(opacity=1);
}
#library {
padding: 2px;
width: 140px;
}
.javascript {
right: 50%;
}
iframe.javascript {
border-right: 1px solid #ccc !important;
}
.buttons {
float: left;
display: block;
margin-right: 10px;
}
.button {
border: 1px solid #ccc;
-webkit-border-radius: 3px;
-moz-border-radius: 3px;
border-radius: 3px;
height: 12px;
line-height: 12px;
padding: 6px 10px;
display: block;
float: left;
text-decoration: none;
margin: 0px 0px;
background: #fff;
background: rgba(255, 255, 255, 0.3);
}
#control span {
display: block;
float: left;
height: 10px;
padding-top: 4px;
padding-bottom: 10px;
line-height: 20px;
}
.gap {
margin-right: 10px;
}
a.button:hover {
-moz-box-shadow: #fff 0px 0px 5px;
-webkit-box-shadow: #fff 0px 0px 5px;
box-shadow: #fff 0px 0px 5px;
background: rgba(0, 0, 0, 0.05);
}
a.button:active, .button:focus {
-moz-box-shadow: #C8C8C8 0px 0px 3px;
-webkit-box-shadow: #C8C8C8 0px 0px 3px;
box-shadow: #C8C8C8 0px 0px 3px;
border-color: #fff;
outline: 0;
text-shadow: none;
}
body.source a.source,
body.preview a.preview {
background: #aaa;
background: rgba(0, 0, 0, 0.25);
text-shadow: none;
border: 1px solid #ccc;
-moz-box-shadow: #fff 0px 0px 5px;
-webkit-box-shadow: #fff 0px 0px 5px;
box-shadow: #fff 0px 0px 5px;
background-image:
-webkit-gradient(
radial,
center center,
0,
center center,
50,
color-stop(0, #BFBFBF),
color-stop(1, #949494)
);
}
body.preview a.preview {
border-left: 0;
}
a.group {
-moz-border-radius: 0;
-webkit-border-radius: 0;
border-radius: 0;
border-left: 0;
}
a.left {
border-left: 1px solid #ccc;
-moz-border-radius-topleft: 3px;
-webkit-border-top-left-radius: 3px;
border-top-left-radius: 3px;
-moz-border-radius-bottomleft: 3px;
-webkit-border-bottom-left-radius: 3px;
border-bottom-left-radius: 3px;
}
a.right {
border-right: 1px solid #ccc;
-moz-border-radius-topright: 3px;
-webkit-border-top-right-radius: 3px;
-moz-border-radius-bottomright: 3px;
-webkit-border-bottom-right-radius: 3px;
border-top-right-radius: 3px;
border-bottom-right-radius: 3px;
}
#preview {
z-index: 11; /* gets over the labels in IE */
}
#preview iframe,
#live iframe {
height: 100%;
width: 100%;
border: 0;
}
body.source #preview {
display: none;
}
body.preview #source {
opacity: 0;
filter:alpha(opacity=0);
}
body.preview #preview,
body.source #source {
display: block;
}
body.preview #source select {
display: none;
}
.overlay {
z-index: 98;
background: #000;
background: rgba(255, 255, 255, 0.3);
}
.javascript-only div.javascript {
width: 100%;
left: 0%;
}
.javascript-only div.html {
display: none;
left: 100%;
width: 100%;
}
.label .show {
display: none;
}
.javascript-only .label .hide,
.html-only .label .hide {
display: none;
}
.javascript-only .label .show,
.html-only .label .show {
display: inline;
}
.html-only div.javascript {
left: -50%;
display: none;
}
.html-only div.html {
left: 0%;
width: 100%;
}
/* lightbox */
.lightboxWrapper {
position: absolute;
top: 0;
height: 100%;
left: 0;
width: 100%;
}
.overlay {
position: absolute;
top: 0;
left: 0;
right: 0;
bottom: 0;
z-index: 11;
}
.overlay {
opacity: 0.5;
-moz-opacity: 0.5;
filter:alpha(opacity=50);
background: #fff;
}
.lightbox {
position: relative;
width: 600px;
z-index: 12;
/* border: 10px solid #ccc;*/
margin: 0 auto;
overflow-y: auto;
overflow-x: hidden;
background: #fff;
-moz-box-shadow: #666 0px 0px 5px;
-webkit-box-shadow: #666 0px 0px 5px;
box-shadow: #666 0px 0px 5px;
top: 75px;
width: 80%;
max-height: 65%;
}
.lightbox h1 {
margin: 0;
background: #000;
padding: 20px;
color: #fff;
position: relative;
/* width: 100%;*/
}
.lightbox p,
.lightbox h2,
.lightbox h3 {
margin: 14px 20px;
}
.lightbox p,
.lightbox li {
font-size: 16px;
}
.lightbox li {
margin: 8px 0;
}
.video {
padding-left: 20px;
background: url(/images/play.gif) no-repeat left center;
}
#info {
display: inline-block;
background: url(/images/info.gif) no-repeat bottom left;
color: #fff;
font-weight: bold;
font-style: italic;
font-family: georgia;
font-size: 10px;
height: 14px;
line-height: 14px;
width: 14px;
text-align: center;
text-shadow: none;
}
#info:hover {
background: url(/images/info.gif) no-repeat top left;
}
#startingpoint {
outline: 0;
}
textarea {
opacity: 0;
-moz-opacity: 0;
filter:alpha(opacity=0);
margin: 0.4em;
border: 0;
padding: 0;
font-family: Menlo, Monaco, consolas, monospace;
font-size: 10pt;
color: black;
margin-top: 60px;
padding: 6px;
font-size: 12px;
position: absolute;
top: 0;
left: 0;
right: 0;
bottom: 0;
resize: none;
outline: none;
-webkit-appearance: none;
}
#javascript {
margin-top: 26px;
}
div.javascript {
border-right: 1px solid #ccc;
}
/* tab based help pages */
#navigation {
margin: 0;
float: left;
display: block;
width: 200px;
padding-left: 0px;
list-style: none;
}
#navigation li {
margin: 1px 0;
}
#navigation a {
background: #A2B2CC;
display: block;
color: #fff;
text-decoration: none;
padding: 10px;
margin: 1px 0;
text-shadow: none;
}
#navigation a:hover,
#navigation a.selected:hover {
background: #89C;
font-weight: bold;
}
#navigation a:active {
border: 2px solid #647ECC;
padding: 8px;
}
#navigation a.selected {
background: #768BCC;
font-weight: bold;
}
.panels {
margin-left: 210px;
}
.panels li {
margin: 14px 0;
}
.panels code {
font-size: 16px;
}
/* hud - apply style hud */
.hud {
position: absolute;
top: 0;
left: 0;
width: 100%;
height: 100%;
z-index: 99;
background: url(/images/op7.png) repeat;
}
.hud .outercontainer {
background: #1B1B1B;
-moz-border-radius: 10px;
-webkit-border-radius: 10px;
border-radius: 10px;
color: #fff;
position: relative;
}
.hud .title {
text-align: center;
text-shadow: #000 1px 1px 1px;
background: #454645;
}
#help pre {
padding: 10px;
background: #eee;
overflow-x: auto;
}
#help {
position: absolute;
right: -300px;
width: 279px;
top: 0;
bottom: 0;
border-left: 1px solid #ccc;
background: #F7F4EB;
padding: 10px;
overflow: auto;
/* text-shadow: #fff 1px 1px 1px;*/
}
#help p {
margin: 14px 0;
}
#help ol, #help ul {
padding-left: 20px;
}
#help li {
margin: 10px 0;
}
#help dl.shortcuts {
margin-bottom: 1em;
margin-left: 26px; }
#help dl.shortcuts * {
margin: 0;
line-height: 2.25;
font-weight: normal; }
#help .shortcuts dt {
float: left;
display: block;
width: 7em;
clear: both; }
#help kbd {
/* not sure if this should be more specific ie. ".shortcuts kbd" */
background: -webkit-gradient(linear, left top, center bottom, from(#000), to(#222));
background-color: #000;
color: #fff;
font-family: "VAG Rounded", sans-serif;
font-size: 90%;
padding: 1ex;
letter-spacing: 0.2ex;
text-shadow: rgba(0,255,255,0.5) 0 0 4px;
-moz-border-radius: 2px;
-webkit-border-radius: 2px;
border-radius: 2px;
-webkit-box-shadow: 1px 1px 0px #000; }
#help .shortcuts.a dt {
width: 7em; }
#help .shortcuts.b dt {
width: 10em; }
#revert {
display: none;
}
#revert img {
margin-top: -2px;
margin-right: -1px;
border: 0;
}
#revert img.enabled {
display: none;
}
#revert.enable img.disabled {
display: none;
}
#revert.enable img.enabled {
display: inline;
}
body.streaming {
background-position: 0 22px;
}
#stream {
display: none;
}
#streaming {
display: block;
top: -23px;
position: absolute;
left: 0;
width: 100%;
height: 22px;
color: #fff;
font-weight: bold;
line-height: 20px;
text-shadow: #0A0 0px 1px 0px;
display: block;
background: #0c0;
border-bottom: 1px solid #0a0;
cursor: pointer;
}
#streaming .msg {
padding-left: 15px;
}
#streaming a {
text-shadow: #0A0 0px 1px 0px;
color: #fff;
}
body.pausestream #streaming .pause {
display: none;
}
body.streaming #streaming .resume {
display: none;
}
body.pausestream #streaming .resume {
display: inline;
}
#streaming .listen {
display: none;
}
#streaming.listen .listen {
display: inline;
}
body.pausestream #streaming {
background: #c00;
text-shadow: #a00 0px 1px 0px;
border-bottom: 1px solid #a00;
}
body.pausestream #streaming a {
text-shadow: #a00 0px 1px 0px;
}
body.streaming #streaming {
top: 0;
}
body {
-webkit-transition: background-position 100ms ease-out;
-o-transition: background-position 100ms ease-out;
-moz-transition: background-position 100ms ease-out;
transition: background-position 100ms ease-out;
}
#streaming, #control, #bin {
-webkit-transition: top 100ms ease-out, opacity 50ms linear;
-o-transition: top 100ms ease-out, opacity 50ms linear;
-moz-transition: top 100ms ease-out, opacity 50ms linear;
transition: top 100ms ease-out, opacity 50ms linear;
}
body.streaming #control,
body.streaming #help {
top: 22px;
}
body.streaming #bin {
top: 84px;
}
/* simplified for that poor old dog: IE6 */
.ie6 .help,
.ie6 #help {
display: none;
}
.ie6 .buttons a {
color: #000;
}
.ie6 div,
ie6, li {
zoom: 1;
}
.ie6 textarea {
border: 5px solid #ccc;
z-index: 9999;
display: block;
opacity: 1;
-moz-opacity: 1;
filter:alpha(opacity=1);
outline: 1px solid #000;
color: #000;
}
.ie6, .ie6 * {
height: 100%;
}
#jslabel em {
color: #a00;
font-weight: normal;
font-style: normal;
font-size: 11px;
padding: 2px;
padding-left: 5px;
}
/* tipsy - for JS error notices */
.tipsy { padding: 5px; font-size: 10px; position: absolute; z-index: 100000; }
.tipsy-inner { padding: 5px 8px 4px 8px; background-color: black; color: white; max-width: 200px; text-align: left; }
.tipsy-inner { border-radius: 3px; -moz-border-radius:3px; -webkit-border-radius:3px; }
.tipsy-arrow { position: absolute; background: url('../images/tipsy.gif') no-repeat top left; width: 9px; height: 5px; }
.tipsy-n .tipsy-arrow { top: 0; left: 50%; margin-left: -4px; }
.tipsy-nw .tipsy-arrow { top: 0; left: 10px; }
.tipsy-ne .tipsy-arrow { top: 0; right: 10px; }
.tipsy-s .tipsy-arrow { bottom: 0; left: 50%; margin-left: -4px; background-position: bottom left; }
.tipsy-sw .tipsy-arrow { bottom: 0; left: 10px; background-position: bottom left; }
.tipsy-se .tipsy-arrow { bottom: 0; right: 10px; background-position: bottom left; }
.tipsy-e .tipsy-arrow { top: 50%; margin-top: -4px; right: 0; width: 5px; height: 9px; background-position: top right; }
.tipsy-w .tipsy-arrow { top: 50%; margin-top: -4px; left: 0; width: 5px; height: 9px; }
.tipsy li, .tipsy ul {
padding: 0;
margin: 10px 0;
list-style: none
}
/** BETA FEATURES **/
.beta #startingpoint {
display: none;
}
.button.download {
padding-left: 24px;
/* background-image: url(/images/arrow_down_12x12.png);*/
background-image: url(/images/download.png);
background-repeat: no-repeat;
background-position: 8px -33px;
}
.button.download:hover {
background-image: url(/images/download.png);
background-repeat: no-repeat;
background-position: 8px 7px;
}
/* attempt to get a live render preview in */
#live {
display: none;
top: 60%;
border-top: 1px solid #ccc;
background: white;
z-index: 9999;
}
#live .close {
background: url(/images/close.png) no-repeat center;
height: 25px;
width: 25px;
position: absolute;
top: 10px;
right: 10px;
cursor: pointer;
opacity: 0.1;
z-index: 99999;
-webkit-transition: opacity ease-in 100ms;
-moz-transition: opacity ease-in 100ms;
-o-transition: opacity ease-in 100ms;
-ms-transition: opacity ease-in 100ms;
transition: opacity ease-in 100ms;
}
#live .close:hover {
opacity: 1;
}
.live #live {
display: block;
}
.preview #live {
display: none;
}
.live #source {
bottom: 40%;
}
.live #control .live {
font-weight: bold;
background: #aaa;
background: rgba(0, 0, 0, 0.25);
text-shadow: none;
border: 1px solid #ccc;
-moz-box-shadow: #fff 0px 0px 5px;
-webkit-box-shadow: #fff 0px 0px 5px;
background-image:
-webkit-gradient(
radial,
center center,
0,
center center,
50,
color-stop(0, #BFBFBF),
color-stop(1, #949494)
);
}
#live {
background: white url(/images/jsbin-bg.gif) repeat-x 0 -62px;
top: 0;
left: 67%;
border-top: 0;
border-left: 1px solid #ccc;
}
.live #source {
bottom: 0;
right: 33%;
}
.autocomplete {
position: absolute;
overflow: hidden;
border: 2px solid #DFE0B4;
}
.autocomplete select {
margin: 0;
padding: 0;
outline: none !important;
background: #FFFFDB;
border: 0;
font-family: MenschRegular, Menlo, Monaco, consolas, monospace;
font-size: 12px;
}
.showtip #bin {
bottom: 26px;
}
#tip {
display: none;
border-top: 1px solid #ccc;
position: absolute;
bottom: 0;
font-size: 12px;
line-height: 20px;
background: #fdfece;
left: 0;
right: 0;
padding: 2px 10px 2px 20px;
}
#tip p {
margin: 0;
}
#tip a.dismiss {
position: absolute;
right: 20px;
top: 0;
text-decoration: none;
}
.showtip #tip {
display: block;
}
details {
position: absolute;
display: block;
bottom: 0;
right: 0;
left: 0;
font-size: 12px;
background: #FEE0E0;
color: #bb0000;
}
summary {
cursor: pointer;
padding: 3px 5px;
display: block;
font-weight: bold;
background: #FC9B9F;
}
details ol {
padding-left: 21px;
max-height: 150px;
overflow: auto;
}
details li {
margin: 5px 0;
cursor: pointer;
}
/* codemirror2 styles */
@font-face {
font-family: 'MenschRegular';
src: url('/font/mensch-webfont.eot');
src: url('/font/mensch-webfont.eot?#iefix') format('eot'),
url('/font/mensch-webfont.woff') format('woff'),
url('/font/mensch-webfont.ttf') format('truetype'),
url('/font/mensch-webfont.svg#webfont0UwCC656') format('svg');
font-weight: normal;
font-style: normal;
}
/*
.editbox {
margin: .4em;
padding: 0;
font-family: MenschRegular, Menlo, Monaco, consolas, monospace;
font-size: 14pt;
color: black;
}*/
.CodeMirror > div {
margin: .6em;
}
.javascript .CodeMirror > div {
margin-top: 25px;
}
.html .CodeMirror > div {
margin-top: 60px;
}
.CodeMirror pre {
/* white-space: pre-wrap !important;*/
}
.editor .CodeMirror {
height: 100%;
top: 0;
bottom: 0;
}
.CodeMirror {
overflow: auto;
height: 300px;
/* top: 0;*/
/* bottom: 0;*/
/* line-height: 1em;*/
font-size: 12px;
font-family: MenschRegular, Menlo, Monaco, consolas, monospace;
_position: relative; /* IE6 hack */
}
.CodeMirror-gutter {
position: absolute; left: 0; top: 0;
background-color: #f7f7f7;
border-right: 1px solid #eee;
min-width: 2em;
height: 100%;
}
.CodeMirror-gutter-text {
color: #aaa;
text-align: right;
padding: .4em .2em .4em .4em;
}
.CodeMirror-lines {
padding: .4em;
}
.CodeMirror pre {
-moz-border-radius: 0;
-webkit-border-radius: 0;
-o-border-radius: 0;
border-radius: 0;
border-width: 0; margin: 0; padding: 0; background: transparent;
font-family: inherit;
}
.CodeMirror-cursor {
z-index: 10;
position: absolute;
visibility: hidden;
border-left: 1px solid black !important;
}
.CodeMirror-focused .CodeMirror-cursor {
visibility: visible;
}
span.CodeMirror-selected {
background: #ccc !important;
color: HighlightText !important;
}
.CodeMirror-focused span.CodeMirror-selected {
background: Highlight !important;
}
.CodeMirror-matchingbracket {color: #0f0 !important;}
.CodeMirror-nonmatchingbracket {color: #f22 !important;}
/* CM2 default */
.cm-s-default span.cm-keyword {color: #708;}
.cm-s-default span.cm-atom {color: #219;}
.cm-s-default span.cm-number {color: #164;}
.cm-s-default span.cm-def {color: #00f;}
.cm-s-default span.cm-variable {color: black;}
.cm-s-default span.cm-variable-2 {color: #05a;}
.cm-s-default span.cm-variable-3 {color: #0a5;}
.cm-s-default span.cm-property {color: black;}
.cm-s-default span.cm-operator {color: black;}
.cm-s-default span.cm-comment {color: #a50;}
.cm-s-default span.cm-string {color: #a11;}
.cm-s-default span.cm-meta {color: #555;}
.cm-s-default span.cm-error {color: #f00;}
.cm-s-default span.cm-qualifier {color: #555;}
.cm-s-default span.cm-builtin {color: #30a;}
.cm-s-default span.cm-bracket {color: #cc7;}
.cm-s-default span.cm-tag {color: #170;}
.cm-s-default span.cm-attribute {color: #00c;}
/* jsbin - based on web inspector */
.cm-s-jsbin span.cm-keyword {color: #AA0D91;}
.cm-s-jsbin span.cm-atom {color: #219;}
.cm-s-jsbin span.cm-number {color: #164;}
.cm-s-jsbin span.cm-def {color: #00f;}
.cm-s-jsbin span.cm-variable {color: black;}
.cm-s-jsbin span.cm-variable-2 {color: #05a;}
.cm-s-jsbin span.cm-variable-3 {color: #0a5;}
.cm-s-jsbin span.cm-property {color: black;}
.cm-s-jsbin span.cm-operator {color: black;}
.cm-s-jsbin span.cm-comment {color: #236E25;}
.cm-s-jsbin span.cm-string {color: #C41A16;}
.cm-s-jsbin span.cm-meta {color: #555;}
.cm-s-jsbin span.cm-error {color: #f00;}
.cm-s-jsbin span.cm-qualifier {color: #555;}
.cm-s-jsbin span.cm-builtin {color: #30a;}
.cm-s-jsbin span.cm-bracket {color: #cc7;}
.cm-s-jsbin span.cm-tag {color: #881280;}
.cm-s-jsbin span.cm-attribute {color: #994500;}
/* neat */
.cm-s-neat span.cm-comment { color: #a86; }
.cm-s-neat span.cm-keyword { font-weight: bold; color: blue; }
.cm-s-neat span.cm-string { color: #a22; }
.cm-s-neat span.cm-builtin { font-weight: bold; color: #077; }
.cm-s-neat span.cm-special { font-weight: bold; color: #0aa; }
.cm-s-neat span.cm-variable { color: black; }
.cm-s-neat span.cm-number, .cm-s-neat span.cm-atom { color: #3a3; }
.cm-s-neat span.cm-meta {color: #555;}
/* elegant */
.cm-s-elegant span.cm-number, .cm-s-elegant span.cm-string, .cm-s-elegant span.cm-atom {color: #762;}
.cm-s-elegant span.cm-comment {color: #262;font-style: italic;}
.cm-s-elegant span.cm-meta {color: #555;font-style: italic;}
.cm-s-elegant span.cm-variable {color: black;}
.cm-s-elegant span.cm-variable-2 {color: #b11;}
.cm-s-elegant span.cm-qualifier {color: #555;}
.cm-s-elegant span.cm-keyword {color: #730;}
.cm-s-elegant span.cm-builtin {color: #30a;}
.cm-s-elegant span.cm-error {background-color: #fdd;}
/* Loosely based on the Midnight Textmate theme */
.cm-s-night { background: #0a001f; color: #f8f8f8; }
.cm-s-night span.CodeMirror-selected { background: #a8f !important; }
.cm-s-night .CodeMirror-gutter { background: #0a001f; border-right: 1px solid #aaa; }
.cm-s-night .CodeMirror-gutter-text { color: #f8f8f8; }
.cm-s-night .CodeMirror-cursor { border-left: 1px solid white !important; }
.cm-s-night span.cm-comment { color: #6900a1; }
.cm-s-night span.cm-atom { color: #845dc4; }
.cm-s-night span.cm-number { color: #ffd500; }
.cm-s-night span.cm-keyword { color: #599eff; }
.cm-s-night span.cm-string { color: #37f14a; }
.cm-s-night span.cm-meta { color: #7678e2; }
.cm-s-night span.cm-variable-2 { color: #99b2ff; }
.cm-s-night span.cm-variable-3, .cm-s-night span.cm-def { white; }
.cm-s-night span.cm-error { color: #9d1e15; }
.cm-s-night span.cm-bracket { color: #8da6ce; }
.cm-s-night span.cm-comment { color: #6900a1; }
.cm-s-night span.cm-builtin, .cm-s-night span.cm-special { color: #ff9e59; }
#bin.ready {
opacity: 1;
}