UNPKG

neutrinoscript

Version:
124 lines (109 loc) 2.76 kB
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 !important; } .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; }