stylesheet.css 10.5 KB
Newer Older
1 2
html,
body {
J
Jason Park 已提交
3 4 5
    margin: 0;
    padding: 0;
    overflow: hidden;
J
Jason Park 已提交
6 7 8 9 10 11
    position: absolute;
    top: 0;
    left: 0;
    width: 100%;
    height: 100%;
    background: rgb(63, 63, 63);
J
Jason Park 已提交
12 13 14 15 16
}

body {
    font-family: 'Roboto', sans-serif;
    color: rgb(187, 187, 187);
J
Jason Park 已提交
17
    -webkit-font-smoothing: subpixel-antialiased;
J
Jason Park 已提交
18 19
}

G
Gautam krishna.R 已提交
20
*::-webkit-scrollbar {
21
    display: none;
G
Gautam krishna.R 已提交
22 23
}

J
Jason Park 已提交
24 25 26 27 28
a {
    text-decoration: none;
}

* {
29 30 31 32
    color: inherit;
}

*:not(input) {
J
Jason Park 已提交
33 34 35 36
    -webkit-touch-callout: none;
    user-select: none;
}

J
Jason Park 已提交
37 38 39 40 41 42 43 44 45 46
.btn {
    display: inline-table;
}

.btn > .wrapper {
    display: table-cell;
    vertical-align: middle;
}

.btn,
J
Jason Park 已提交
47
button {
N
nem035 已提交
48
    cursor: pointer;
J
Jason Park 已提交
49
    vertical-align: top;
J
Jason Park 已提交
50 51 52 53 54 55 56
    border: none;
    height: 100%;
    padding: 0 12px;
    margin: 0;
    background: none;
    font-size: 12px;
    outline: none;
J
Jason Park 已提交
57 58 59
    white-space: nowrap;
    overflow: hidden;
    text-overflow: ellipsis;
N
nem035 已提交
60
    background: rgb(63, 63, 63);
J
Jason Park 已提交
61 62
}

J
Jason Park 已提交
63
.btn:hover,
N
nem035 已提交
64 65
button:hover {
    background: rgba(0, 0, 0, .15);
J
Jason Park 已提交
66 67
}

J
Jason Park 已提交
68
.btn.active,
J
Jason Park 已提交
69
button.active {
J
Jason Park 已提交
70
    background: rgb(38, 38, 38);
J
Jason Park 已提交
71
}
J
Jason Park 已提交
72

N
nem035 已提交
73 74
.btn.active:hover,
button.active:hover {
N
nem035 已提交
75 76
    background: rgba(38, 38, 38);
    color: rgba(187, 187, 187, .8);
N
nem035 已提交
77 78 79 80 81 82 83 84
}

button[disabled] {
    background: rgb(63, 63, 63);
    cursor: not-allowed;
    opacity: 0.6;
}

J
Jason Park 已提交
85 86 87 88 89 90 91 92
.btn input,
button input {
    outline: none;
    background: rgba(0, 0, 0, .3);
    padding: 4px;
    border: none;
}

J
Jason Park 已提交
93 94 95 96 97 98 99 100 101 102 103 104 105 106 107 108 109 110 111
.divider {
    position: absolute !important;
    z-index: 3;
}

.divider.vertical {
    cursor: ew-resize;
}

.divider.horizontal {
    cursor: ns-resize;
}

nav {
    height: 30px;
    width: 100%;
    padding: 0 16px;
}

J
Jason Park 已提交
112 113 114 115
nav > * {
    height: 28px;
}

J
Jason Park 已提交
116 117 118 119 120 121 122 123
nav h3 {
    display: inline;
}

.nav-arrow {
    padding: 0 4px;
}

124
#navigation span:empty + .nav-arrow {
J
Jason Park 已提交
125 126 127
    display: none;
}

128
.top-menu-buttons {
J
Jason Park 已提交
129 130 131 132
    position: absolute;
    top: 0;
    right: 0;
    padding: 0 16px;
J
Jason Park 已提交
133 134
}

J
Jason Park 已提交
135 136 137 138 139 140 141 142 143 144
#shared {
    width: 128px;
}

#shared.collapse {
    display: none;
}

#interval {
    width: 24px;
145 146 147
    text-align: right;
}

J
Jason Park 已提交
148 149
.sidemenu,
.workspace {
J
Jason Park 已提交
150
    top: 30px;
J
Jason Park 已提交
151 152 153
}

.sidemenu {
J
Jason Park 已提交
154 155
    right: 85%;
    visibility: hidden;
J
Jason Park 已提交
156 157
    overflow: scroll;
    padding-bottom: 120px;
J
Jason Park 已提交
158 159 160 161 162 163
}

.sidemenu.active {
    visibility: visible;
}

164
.sidemenu #footer {
J
Jason Park 已提交
165
    border-top: 2px solid rgb(38, 38, 38);
J
Jason Park 已提交
166 167 168
}

.sidemenu button {
J
Jason Park 已提交
169 170 171 172
    display: block;
    width: 100%;
    height: 30px;
    text-align: left;
N
nem035 已提交
173 174 175 176
    background: rgba(0, 0, 0, .15);
}

.sidemenu button:hover {
177
    background: rgb(63, 63, 63);
N
nem035 已提交
178 179 180 181 182 183 184 185
}

.sidemenu button.active {
    background: rgb(38, 38, 38);
}

.sidemenu button.active:hover {
    background: rgb(38, 38, 38);
J
Jason Park 已提交
186 187
}

N
nem035 已提交
188
.sidemenu button.indent {
J
Jason Park 已提交
189 190 191
    padding-left: 28px;
}

192 193
.sidemenu .algorithms,
#powered-by-list {
N
nem035 已提交
194
    display: none;
N
nem035 已提交
195
    padding: 3px 2px;
N
nem035 已提交
196
    box-shadow: inset 0 2px 2px rgba(0, 0, 0, 0.48), inset 0 -2px 2px rgba(0, 0, 0, 0.36);
197 198
}

J
Jason Park 已提交
199
.search_bar_container {
200 201 202
    background: rgba(0, 0, 0, .10);
    border-bottom: 2px solid rgb(38, 38, 38);
    height: 30px;
J
Jason Park 已提交
203 204 205 206 207 208 209 210
    color: rgb(187, 187, 187);
    font-size: 12px;
    padding: 0 8px 0 8px;
}

.search_bar_container > .fa {
    position: absolute;
    line-height: 30px;
211 212
}

J
Jason Park 已提交
213 214 215 216 217 218 219
#search-bar {
    box-sizing: border-box;
    padding-left: 16px;
    background: none;
    border: none;
    width: 100%;
    height: 100%;
220
    outline: none;
J
Jason Park 已提交
221
    overflow: hidden;
222 223
}

J
Jason Park 已提交
224 225 226 227 228 229 230 231
.workspace {
    position: absolute;
    bottom: 0;
    left: 15%;
    right: 0;
}

nav,
J
Jason Park 已提交
232
section,
K
sandbox  
Kevin Nadro 已提交
233
.sandbox_container,
J
Jason Park 已提交
234 235 236 237 238 239
.viewer_container,
.editor_container {
    position: absolute;
    top: 0;
    bottom: 0;
    left: 0;
J
Jason Park 已提交
240 241 242 243 244
    right: 0;
}

nav,
section {
J
Jason Park 已提交
245
    border: 1px solid rgb(38, 38, 38);
J
Jason Park 已提交
246 247 248 249
    box-sizing: border-box;
}

.viewer_container {
J
Jason Park 已提交
250 251 252
    right: 50%;
}

K
sandbox  
Kevin Nadro 已提交
253 254
.sandbox_container{
    left: 50%;
K
Kevin Nadro 已提交
255
    z-index:  100;
K
sandbox  
Kevin Nadro 已提交
256 257
}

J
Jason Park 已提交
258 259 260 261
.editor_container {
    left: 50%;
}

J
Jason Park 已提交
262
.module_container {
J
Jason Park 已提交
263
    overflow: hidden;
J
Jason Park 已提交
264
    border: none;
J
Jason Park 已提交
265 266
}

K
Kevin Nadro 已提交
267 268 269 270
.hide{
    display: none;
}

J
Jason Park 已提交
271
.tab_container {
J
Jason Park 已提交
272
    top: 30px;
N
nem035 已提交
273 274 275
    background: #242424;
    border: 1px solid #505050;
    border-top: none;
J
Jason Park 已提交
276 277 278 279 280 281
}

.tab {
    position: absolute;
    width: 100%;
    height: 100%;
J
Jason Park 已提交
282
    visibility: hidden;
283
    overflow: scroll;
J
Jason Park 已提交
284 285 286 287 288 289 290 291
}

.tab > .wrapper {
    padding: 16px;
    box-sizing: border-box;
}

.tab.active {
J
Jason Park 已提交
292 293 294
    visibility: visible;
}

295 296
.module_wrapper {
    overflow: scroll;
N
nem035 已提交
297 298 299
    font-family: monospace;
    border: none;
    border-bottom: 1px solid #505050;
300 301
}

J
Jason Park 已提交
302
.module_wrapper .name {
303 304
    position: fixed;
    z-index: 5;
J
Jason Park 已提交
305 306
    padding: 4px;
    font-size: 14px;
J
Jason Park 已提交
307
    background: rgba(0, 0, 0, .4);
J
Jason Park 已提交
308 309
}

J
Jason Park 已提交
310
.module_wrapper > .wrapper {
311
    padding: 24px 16px;
J
Jason Park 已提交
312
    box-sizing: border-box;
J
Jason Park 已提交
313 314
}

315
#tab_desc h3 {
N
nem035 已提交
316
    border-bottom: 1px solid rgb(81, 81, 81);
317 318 319 320
    padding: 5px;
    margin: 2px;
}

J
Jason Park 已提交
321 322
#tab_desc > .wrapper a,
#tab_doc > .wrapper a {
J
Jason Park 已提交
323 324 325
    text-decoration: underline;
}

J
Jason Park 已提交
326 327
.tab_bar {
    height: 30px;
N
nem035 已提交
328 329 330 331
    border-left: none;
    border-bottom: 1px solid #505050;
}

N
cleanup  
nem035 已提交
332 333
.tab_bar button,
.files_bar button {
J
Jason Park 已提交
334 335 336
    height: 29px;
    border-top-left-radius: 3px;
    border-top-right-radius: 3px;
N
nem035 已提交
337 338
}

N
cleanup  
nem035 已提交
339 340
.tab_bar button.active,
.files_bar button.active {
J
Jason Park 已提交
341 342
    border: 1px solid #505050;
    border-bottom: none;
J
Jason Park 已提交
343 344
}

K
Kevin Nadro 已提交
345
.close_bar,
346
.files_bar {
D
duaraghav8@gmail 已提交
347
    height: 30px;
348
    border-bottom: 1px solid #505050;
D
duaraghav8@gmail 已提交
349 350
}

J
Jason Park 已提交
351 352 353 354
.files_bar > * {
    position: absolute;
}

J
Jason Park 已提交
355 356 357 358
.files_bar > button {
    width: 30px;
}

J
Jason Park 已提交
359 360
.files_bar .btn-left {
    left: 0;
361 362
}

J
Jason Park 已提交
363 364
.files_bar .btn-right {
    right: 0;
365 366 367 368 369 370 371 372 373 374 375
}

.files_bar > .wrapper {
    left: 30px;
    right: 30px;
    overflow: scroll;
    white-space: nowrap;
}

.files_bar > .wrapper > button {
    max-width: 80%;
J
Jason Park 已提交
376 377
}

J
Jason Park 已提交
378 379 380 381 382 383 384 385 386
.files_bar > .wrapper.shadow-left {
    box-shadow: inset 16px 0 16px -16px rgba(0, 0, 0, .6);
}

.files_bar > .wrapper.shadow-right {
    box-shadow: inset -16px 0 16px -16px rgba(0, 0, 0, .6);
}

.files_bar > .wrapper.shadow-left.shadow-right {
N
nem035 已提交
387
    box-shadow: inset 16px 0 16px -16px rgba(0, 0, 0, .6), inset -16px 0 16px -16px rgba(0, 0, 0, .6);
J
Jason Park 已提交
388 389
}

K
Kevin Nadro 已提交
390 391 392 393 394
.close_bar {
    width: 100%;
    background-color: #3f3f3f;
}

J
Jason Park 已提交
395
.explanation_container {
J
Jason Park 已提交
396
    border: none;
J
Jason Park 已提交
397 398
    top: 30px;
    height: 30px;
J
Jason Park 已提交
399 400
    background: rgb(38, 38, 38);
    padding: 8px;
J
Jason Park 已提交
401
    font-size: 12px;
J
Jason Park 已提交
402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417 418 419 420 421 422 423 424
}

#explanation:before {
    font-family: FontAwesome;
    content: '\f05a\00a0\00a0';
}

#explanation {
    display: block;
    white-space: nowrap;
    overflow: hidden;
    text-overflow: ellipsis;
}

.explanation_container:hover {
    z-index: 5;
    height: auto;
    bottom: auto;
    box-shadow: 0 8px 8px -8px rgba(0, 0, 0, .8);
}

.explanation_container:hover #explanation {
    white-space: normal;
J
Jason Park 已提交
425 426 427 428
}

.data_container {
    top: 60px;
J
tree  
Jason Park 已提交
429
    bottom: 60%;
J
Jason Park 已提交
430 431 432
}

.code_container {
J
tree  
Jason Park 已提交
433
    top: 40%;
J
Jason Park 已提交
434 435 436 437 438 439 440 441 442 443 444 445 446 447 448 449 450 451 452
}

pre {
    box-sizing: border-box;
    height: 100%;
    width: 100%;
    margin: 0;
    padding: 0;
    border: 1px solid rgb(81, 81, 81);
    background: rgb(43, 43, 43);
    outline: none;
    resize: none;
}

.toast_container {
    position: absolute;
    bottom: 0;
    right: 0;
    padding: 12px;
J
Jason Park 已提交
453
    z-index: 4;
J
Jason Park 已提交
454 455 456 457 458 459 460 461 462 463 464 465 466
}

.toast {
    width: 280px;
    border: 1px solid;
    border-radius: 4px;
    padding: 16px;
    margin: 16px;
}

.toast.error {
    border-color: rgb(150, 0, 0);
    background: rgba(120, 0, 0, .8);
J
Jason Park 已提交
467 468
}

469 470 471 472 473
.toast.info {
    border-color: rgb(0, 150, 0);
    background: rgba(0, 120, 0, .8);
}

J
Jason Park 已提交
474 475 476 477
.github-fork-ribbon {
    position: fixed;
}

J
Jason Park 已提交
478 479 480 481
.github-fork-ribbon.left-bottom:before {
    background-color: #333;
}

J
Jason Park 已提交
482 483 484 485
.fa-spin-faster {
    animation: fa-spin 1s infinite ease-in-out;
}

J
Jason Park 已提交
486 487 488 489 490
.mtbl-wrapper {
    width: 100%;
    height: 100%;
}

J
Jason Park 已提交
491 492 493 494
.mtbl-table {
    display: inline-table;
    color: white;
    table-layout: fixed;
N
nem035 已提交
495
    border: 1px solid #505050;
J
Jason Park 已提交
496 497 498 499 500 501
}

.mtbl-row {
    display: table-row;
}

502
.mtbl-col {
J
Jason Park 已提交
503 504 505 506
    display: table-cell;
    vertical-align: middle;
    text-align: center;
    background: #888;
507 508
}

509 510 511 512 513 514 515 516 517 518 519 520 521
.mtbl-empty-row {
    display: table-row;
    background: rgb(63, 63, 63);
    height: 2px;
}

.mtbl-empty-col {
    display: table-cell;
    background: rgb(63, 63, 63);
    width: 2px;
}

.mtbl-col.selected {
N
nem035 已提交
522
    background: #2962ff;
523 524
}

525
.mtbl-col.notified {
N
updated  
Nemanja Stojanovic 已提交
526
    background: #c51162;
N
nem035 已提交
527 528
}

J
Jason Park 已提交
529 530 531 532 533
.mchrt-chart {
    width: 100%;
    height: 100%;
}

N
nem035 已提交
534
#loading-slider {
J
Jason Park 已提交
535
    z-index: 6;
N
nem035 已提交
536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558 559 560 561 562 563 564 565 566 567 568 569 570 571 572 573 574 575 576 577 578 579 580 581 582
    position: absolute;
    width: 100%;
    height: 2px;
}

#loading-slider.loaded {
    visibility: hidden;
}

.line {
    position: absolute;
    background: #4a8df8;
    width: 100%;
    left: 0;
    right: 0;
    top: 0;
    height: 3px;
}

.break {
    position: absolute;
    background: #222;
    width: 6px;
    height: 2px;
}

.dot1 {
    animation: loading 2s infinite;
}

.dot2 {
    animation: loading 2s 0.5s infinite;
}

.dot3 {
    animation: loading 2s 1s infinite;
}

@keyframes loading {
    from {
        left: 0;
    }
    to {
        left: 100%;
    }
}

583 584 585 586
input[type="number"] {
    -moz-appearance: textfield;
}

N
nem035 已提交
587 588 589 590
input[type=number]::-webkit-inner-spin-button,
input[type=number]::-webkit-outer-spin-button {
    -webkit-appearance: none;
    margin: 0;
591 592
}

593
.applications li,
594
.complexity {
J
Jason Park 已提交
595
    margin: 10px 0px;
596
}
J
Jason Park 已提交
597

598
.complexity-type {
J
Jason Park 已提交
599
    font-weight: bold;
600 601
}

602
.top-menu-buttons button.active {
J
Jason Park 已提交
603
    font-weight: bold;
604 605
}

606
.top-menu-buttons button.active .fa {
J
Jason Park 已提交
607 608 609
    color: #00e676;
}

J
Jason Park 已提交
610 611 612 613 614 615 616 617
#btn_run > .btn-text:before {
    content: 'Run'
}

#btn_run.active > .btn-text:before {
    content: 'Rerun'
}

J
Jason Park 已提交
618 619
#btn_pause > .btn-text:before {
    content: 'Pause'
620
}
J
Jason Park 已提交
621 622 623

#btn_pause.active > .btn-text:before {
    content: 'Resume'
624
}
625

626
#btn_pause {
J
Jason Park 已提交
627
    width: 86px;
628 629 630
}

.top-menu-buttons button.active {
J
Jason Park 已提交
631
    box-shadow: 0px 0px 10px 3px #1a1a1a inset;
632 633 634
}

.top-menu-buttons button:active {
J
Jason Park 已提交
635
    box-shadow: 0px 0px 10px 3px #1a1a1a inset;
636
}
J
Jason Park 已提交
637 638

.executing {
J
Jason Park 已提交
639
    background: rgba(0, 174, 255, 0.4);
640
    border: 1px solid #0091ea;
J
Jason Park 已提交
641 642 643 644 645 646 647 648
    position: absolute;
    width: 100% !important;
    left: 0 !important;

    animation: line_highlight .1s;
}

@keyframes line_highlight {
J
Jason Park 已提交
649 650 651 652 653 654
    from {
        background: rgba(0, 174, 255, 0.1);
    }
    to {
        background: rgba(0, 174, 255, 0.4);
    }
J
Jason Park 已提交
655
}
656 657

.ace_editor {
J
Jason Park 已提交
658 659
    border-left: none;
    border-bottom: none;
660
}
J
Jason Park 已提交
661 662 663 664 665 666 667 668 669 670 671 672 673 674 675

@media (max-width: 1024px) {
    .sidemenu,
    .workspace {
        top: 60px;
    }

    nav {
        height: 60px;
    }

    .top-menu-buttons {
        top: 30px;
        left: 0;
    }
K
sandbox  
Kevin Nadro 已提交
676 677
}

K
Kevin Nadro 已提交
678
.buttonContainer {
K
sandbox  
Kevin Nadro 已提交
679 680 681 682 683 684 685
    width: 75px;
    height: 25px;
    display: block;
    position: relative;
    z-index: 100;
    background-color: white;
}
K
Kevin Nadro 已提交
686

K
Kevin Nadro 已提交
687
.inputField {
K
Kevin Nadro 已提交
688
    width: 25px;
689
    border: 0;
K
Kevin Nadro 已提交
690
}
K
Kevin Nadro 已提交
691

K
Kevin Nadro 已提交
692
.sb-button {
K
Kevin Nadro 已提交
693
    border: 1px solid #515151;
K
Kevin Nadro 已提交
694 695
    height: 25px;
    margin: 0 auto;
K
Kevin Nadro 已提交
696 697
}

K
Kevin Nadro 已提交
698 699 700 701
.auto-gen {
    top: 30px;
    height: 100%;
    width: 100%;
K
Kevin Nadro 已提交
702 703 704 705 706
    text-align: center;
    background-color: #262626;
    align-items: center;
}

K
Kevin Nadro 已提交
707
.inputs {
K
Kevin Nadro 已提交
708 709 710 711
    display: inline-block;
    border: 0;
    background-color: #505050;
    height: 25px;
K
Kevin Nadro 已提交
712 713 714 715 716 717 718 719 720 721 722 723 724 725 726
    width: 75px;
}

.grid {
    width: 50%;
    height: 50%;
    float: left;
    -webkit-box-sizing: border-box;
    -moz-box-sizing: border-box;
    box-sizing: border-box;
}

.fields {
    margin-top: 5px;
    margin-bottom: 5px;
K
Kevin Nadro 已提交
727
}