neutrinoscript
Version:
Like C for Javascript
124 lines (109 loc) • 2.76 kB
CSS
body {
font-size: 16px;
line-height: 22px;
color: #333;
background: #f6f6f6 url(../images/background.png);
font-family: "PT Serif", "Georgia", "Helvetica Neue", "Lucida Grande", "Lucida Sans Unicode", Helvetica, Arial, sans-serif ;
}
.container {
width: 1050px;
margin: 0;
padding: 30px 0px 40px 40px;
text-align: justify;
}
code, pre, tt, textarea {
font-family: Monaco, Consolas, "Lucida Console", monospace;
font-size: 12px;
/* font-weight: bold; */
line-height: 18px;
color: #255;
white-space: pre-wrap;
word-wrap: break-word;
}
tt {
// display: inline-block;
background: #fff;
border: 1px solid #dedede;
padding: 0px 0.2em;
}
pre {
padding: 3px 0 3px 12px;
font-size: 12px;
}
.jcCode {
background: #f6f6f6 url(../images/background.png);
padding: 10px;
}
.jcResult {
line-height: 14px;
width: 78ex;
font-size: 11px;
}
.jcToolbar {
background-color: white;
}
.jcToolbar tr td {
padding: 10px;
}
.example textarea {
resize: vertical;
cursor: text;
}
.example td {
padding: 0px;
vertical-align: top;
}
.example td + td {
border-left: 2px dotted #d8d8d8;
}
table.example {
position: relative;
background: #fff;
border: 2px solid #d8d8d8;
-webkit-box-shadow: 0px 0px 4px rgba(0,0,0,0.23);
-moz-box-shadow: 0px 0px 4px rgba(0,0,0,0.23);
box-shadow: 0px 0px 4px rgba(0,0,0,0.23);
zoom: 1;
}
.toolbar {
margin-top: 4px;
}
/*----------------------------- Mini Buttons ---------------------------------*/
.minibutton {
float: left;
font-family: "Lucida Console", monospace;
font-size: 8px;
cursor: pointer;
color: #333;
text-shadow: #eee 0 1px 1px;
font-weight: bold;
font-size: 11px;
line-height: 11px;
padding: 5px 10px 6px;
height: 11px;
text-align: center;
-webkit-border-radius: 3px; -moz-border-radius: 3px; border-radius: 3px;
box-shadow: 0 1px 2px rgba(0,0,0,0.2); -webkit-box-shadow: 0 1px 2px rgba(0,0,0,0.2); -moz-box-shadow: 0 1px 2px rgba(0,0,0,0.2);
border: 1px solid #b2b2b2; border-top-color: #c9c9c9; border-bottom-color: #9a9a9a;
}
.minibutton:active {
border-color: #aaa;
box-shadow: 0 1px 2px #e4e4e4; -webkit-box-shadow: 0 1px 2px #e4e4e4; -moz-box-shadow: 0 1px 2px #e4e4e4;
}
.minibutton::selection {
background: transparent;
}
.minibutton ::-moz-selection {
background: transparent;
}
.minibutton.ok {
color: #fff;
border-color: #4ba47c; border-top-color: #53b388; border-bottom-color: #459671;
text-shadow: #aaa 0 -1px 0;
}
.minibutton.dark {
border: 0;
color: #fff;
box-shadow: none; -webkit-box-shadow: none; -moz-box-shadow: none;
text-shadow: none;
}