stylesheet.css 10.6 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);
K
Kevin Nadro 已提交
66
    border-bottom: 0px solid #505050;
J
Jason Park 已提交
67 68
}

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

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

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

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

K
Kevin Nadro 已提交
94 95 96 97
.tab_button{
  border-bottom: 1px solid #505050;
}

J
Jason Park 已提交
98 99 100 101 102 103 104 105 106 107 108 109 110 111 112 113 114 115 116
.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 已提交
117 118 119 120
nav > * {
    height: 28px;
}

J
Jason Park 已提交
121 122 123 124 125 126 127 128
nav h3 {
    display: inline;
}

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

129
#navigation span:empty + .nav-arrow {
J
Jason Park 已提交
130 131 132
    display: none;
}

133
.top-menu-buttons {
J
Jason Park 已提交
134 135 136 137
    position: absolute;
    top: 0;
    right: 0;
    padding: 0 16px;
J
Jason Park 已提交
138 139
}

J
Jason Park 已提交
140 141 142 143 144 145 146 147 148 149
#shared {
    width: 128px;
}

#shared.collapse {
    display: none;
}

#interval {
    width: 24px;
150 151 152
    text-align: right;
}

J
Jason Park 已提交
153 154
.sidemenu,
.workspace {
J
Jason Park 已提交
155
    top: 30px;
J
Jason Park 已提交
156 157 158
}

.sidemenu {
J
Jason Park 已提交
159 160
    right: 85%;
    visibility: hidden;
J
Jason Park 已提交
161 162
    overflow: scroll;
    padding-bottom: 120px;
J
Jason Park 已提交
163 164 165 166 167 168
}

.sidemenu.active {
    visibility: visible;
}

169
.sidemenu #footer {
J
Jason Park 已提交
170
    border-top: 2px solid rgb(38, 38, 38);
J
Jason Park 已提交
171 172 173
}

.sidemenu button {
J
Jason Park 已提交
174 175 176 177
    display: block;
    width: 100%;
    height: 30px;
    text-align: left;
N
nem035 已提交
178 179 180 181
    background: rgba(0, 0, 0, .15);
}

.sidemenu button:hover {
182
    background: rgb(63, 63, 63);
N
nem035 已提交
183 184 185 186 187 188 189 190
}

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

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

N
nem035 已提交
193
.sidemenu button.indent {
J
Jason Park 已提交
194 195 196
    padding-left: 28px;
}

197 198
.sidemenu .algorithms,
#powered-by-list {
N
nem035 已提交
199
    display: none;
N
nem035 已提交
200
    padding: 3px 2px;
N
nem035 已提交
201
    box-shadow: inset 0 2px 2px rgba(0, 0, 0, 0.48), inset 0 -2px 2px rgba(0, 0, 0, 0.36);
202 203
}

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

.search_bar_container > .fa {
    position: absolute;
    line-height: 30px;
216 217
}

J
Jason Park 已提交
218 219 220 221 222 223 224
#search-bar {
    box-sizing: border-box;
    padding-left: 16px;
    background: none;
    border: none;
    width: 100%;
    height: 100%;
225
    outline: none;
J
Jason Park 已提交
226
    overflow: hidden;
227 228
}

J
Jason Park 已提交
229 230 231 232 233 234 235 236
.workspace {
    position: absolute;
    bottom: 0;
    left: 15%;
    right: 0;
}

nav,
J
Jason Park 已提交
237
section,
K
sandbox  
Kevin Nadro 已提交
238
.sandbox_container,
J
Jason Park 已提交
239 240 241 242 243 244
.viewer_container,
.editor_container {
    position: absolute;
    top: 0;
    bottom: 0;
    left: 0;
J
Jason Park 已提交
245 246 247 248 249
    right: 0;
}

nav,
section {
J
Jason Park 已提交
250
    border: 1px solid rgb(38, 38, 38);
J
Jason Park 已提交
251 252 253 254
    box-sizing: border-box;
}

.viewer_container {
J
Jason Park 已提交
255 256 257
    right: 50%;
}

K
sandbox  
Kevin Nadro 已提交
258 259
.sandbox_container{
    left: 50%;
K
Kevin Nadro 已提交
260
    z-index:  100;
K
sandbox  
Kevin Nadro 已提交
261 262
}

J
Jason Park 已提交
263 264 265 266
.editor_container {
    left: 50%;
}

J
Jason Park 已提交
267
.module_container {
J
Jason Park 已提交
268
    overflow: hidden;
J
Jason Park 已提交
269
    border: none;
J
Jason Park 已提交
270 271
}

K
Kevin Nadro 已提交
272 273 274 275
.hide{
    display: none;
}

J
Jason Park 已提交
276
.tab_container {
J
Jason Park 已提交
277
    top: 30px;
N
nem035 已提交
278 279 280
    background: #242424;
    border: 1px solid #505050;
    border-top: none;
J
Jason Park 已提交
281 282 283 284 285 286
}

.tab {
    position: absolute;
    width: 100%;
    height: 100%;
J
Jason Park 已提交
287
    visibility: hidden;
288
    overflow: scroll;
J
Jason Park 已提交
289 290 291 292 293 294 295 296
}

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

.tab.active {
J
Jason Park 已提交
297 298 299
    visibility: visible;
}

300 301
.module_wrapper {
    overflow: scroll;
N
nem035 已提交
302 303 304
    font-family: monospace;
    border: none;
    border-bottom: 1px solid #505050;
305 306
}

J
Jason Park 已提交
307
.module_wrapper .name {
308 309
    position: fixed;
    z-index: 5;
J
Jason Park 已提交
310 311
    padding: 4px;
    font-size: 14px;
J
Jason Park 已提交
312
    background: rgba(0, 0, 0, .4);
J
Jason Park 已提交
313 314
}

J
Jason Park 已提交
315
.module_wrapper > .wrapper {
316
    padding: 24px 16px;
J
Jason Park 已提交
317
    box-sizing: border-box;
J
Jason Park 已提交
318 319
}

320
#tab_desc h3 {
N
nem035 已提交
321
    border-bottom: 1px solid rgb(81, 81, 81);
322 323 324 325
    padding: 5px;
    margin: 2px;
}

J
Jason Park 已提交
326 327
#tab_desc > .wrapper a,
#tab_doc > .wrapper a {
J
Jason Park 已提交
328 329 330
    text-decoration: underline;
}

J
Jason Park 已提交
331 332
.tab_bar {
    height: 30px;
N
nem035 已提交
333 334 335 336
    border-left: none;
    border-bottom: 1px solid #505050;
}

N
cleanup  
nem035 已提交
337 338
.tab_bar button,
.files_bar button {
J
Jason Park 已提交
339 340 341
    height: 29px;
    border-top-left-radius: 3px;
    border-top-right-radius: 3px;
N
nem035 已提交
342 343
}

N
cleanup  
nem035 已提交
344 345
.tab_bar button.active,
.files_bar button.active {
J
Jason Park 已提交
346 347
    border: 1px solid #505050;
    border-bottom: none;
J
Jason Park 已提交
348 349
}

K
Kevin Nadro 已提交
350
.close_bar,
351
.files_bar {
D
duaraghav8@gmail 已提交
352
    height: 30px;
353
    border-bottom: 1px solid #505050;
D
duaraghav8@gmail 已提交
354 355
}

J
Jason Park 已提交
356 357 358 359
.files_bar > * {
    position: absolute;
}

J
Jason Park 已提交
360 361 362 363
.files_bar > button {
    width: 30px;
}

J
Jason Park 已提交
364 365
.files_bar .btn-left {
    left: 0;
366 367
}

J
Jason Park 已提交
368 369
.files_bar .btn-right {
    right: 0;
370 371 372 373 374 375 376 377 378 379 380
}

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

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

J
Jason Park 已提交
383 384 385 386 387 388 389 390 391
.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 已提交
392
    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 已提交
393 394
}

K
Kevin Nadro 已提交
395 396 397 398 399
.close_bar {
    width: 100%;
    background-color: #3f3f3f;
}

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

#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 已提交
430 431 432 433
}

.data_container {
    top: 60px;
J
tree  
Jason Park 已提交
434
    bottom: 60%;
J
Jason Park 已提交
435 436 437
}

.code_container {
J
tree  
Jason Park 已提交
438
    top: 40%;
J
Jason Park 已提交
439 440 441 442 443 444 445 446 447 448 449 450 451 452 453 454 455 456 457
}

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 已提交
458
    z-index: 4;
J
Jason Park 已提交
459 460 461 462 463 464 465 466 467 468 469 470 471
}

.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 已提交
472 473
}

474 475 476 477 478
.toast.info {
    border-color: rgb(0, 150, 0);
    background: rgba(0, 120, 0, .8);
}

J
Jason Park 已提交
479 480 481 482
.github-fork-ribbon {
    position: fixed;
}

J
Jason Park 已提交
483 484 485 486
.github-fork-ribbon.left-bottom:before {
    background-color: #333;
}

J
Jason Park 已提交
487 488 489 490
.fa-spin-faster {
    animation: fa-spin 1s infinite ease-in-out;
}

J
Jason Park 已提交
491 492 493 494 495
.mtbl-wrapper {
    width: 100%;
    height: 100%;
}

J
Jason Park 已提交
496 497 498 499
.mtbl-table {
    display: inline-table;
    color: white;
    table-layout: fixed;
N
nem035 已提交
500
    border: 1px solid #505050;
J
Jason Park 已提交
501 502 503 504 505 506
}

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

507
.mtbl-col {
J
Jason Park 已提交
508 509 510 511
    display: table-cell;
    vertical-align: middle;
    text-align: center;
    background: #888;
512 513
}

514 515 516 517 518 519 520 521 522 523 524 525 526
.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 已提交
527
    background: #2962ff;
528 529
}

530
.mtbl-col.notified {
N
updated  
Nemanja Stojanovic 已提交
531
    background: #c51162;
N
nem035 已提交
532 533
}

J
Jason Park 已提交
534 535 536 537 538
.mchrt-chart {
    width: 100%;
    height: 100%;
}

N
nem035 已提交
539
#loading-slider {
J
Jason Park 已提交
540
    z-index: 6;
N
nem035 已提交
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 583 584 585 586 587
    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%;
    }
}

588 589 590 591
input[type="number"] {
    -moz-appearance: textfield;
}

N
nem035 已提交
592 593 594 595
input[type=number]::-webkit-inner-spin-button,
input[type=number]::-webkit-outer-spin-button {
    -webkit-appearance: none;
    margin: 0;
596 597
}

598
.applications li,
599
.complexity {
J
Jason Park 已提交
600
    margin: 10px 0px;
601
}
J
Jason Park 已提交
602

603
.complexity-type {
J
Jason Park 已提交
604
    font-weight: bold;
605 606
}

607
.top-menu-buttons button.active {
J
Jason Park 已提交
608
    font-weight: bold;
609 610
}

611
.top-menu-buttons button.active .fa {
J
Jason Park 已提交
612 613 614
    color: #00e676;
}

J
Jason Park 已提交
615 616 617 618 619 620 621 622
#btn_run > .btn-text:before {
    content: 'Run'
}

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

J
Jason Park 已提交
623 624
#btn_pause > .btn-text:before {
    content: 'Pause'
625
}
J
Jason Park 已提交
626 627 628

#btn_pause.active > .btn-text:before {
    content: 'Resume'
629
}
630

631
#btn_pause {
J
Jason Park 已提交
632
    width: 86px;
633 634 635
}

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

.top-menu-buttons button:active {
J
Jason Park 已提交
640
    box-shadow: 0px 0px 10px 3px #1a1a1a inset;
641
}
J
Jason Park 已提交
642 643

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

    animation: line_highlight .1s;
}

@keyframes line_highlight {
J
Jason Park 已提交
654 655 656 657 658 659
    from {
        background: rgba(0, 174, 255, 0.1);
    }
    to {
        background: rgba(0, 174, 255, 0.4);
    }
J
Jason Park 已提交
660
}
661 662

.ace_editor {
J
Jason Park 已提交
663 664
    border-left: none;
    border-bottom: none;
665
}
J
Jason Park 已提交
666 667 668 669 670 671 672 673 674 675 676 677 678 679 680

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

    nav {
        height: 60px;
    }

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

K
Kevin Nadro 已提交
683
.buttonContainer {
K
sandbox  
Kevin Nadro 已提交
684 685 686 687 688 689 690
    width: 75px;
    height: 25px;
    display: block;
    position: relative;
    z-index: 100;
    background-color: white;
}
K
Kevin Nadro 已提交
691

K
Kevin Nadro 已提交
692
.inputField {
K
Kevin Nadro 已提交
693
    width: 25px;
694
    border: 0;
K
Kevin Nadro 已提交
695
}
K
Kevin Nadro 已提交
696

K
Kevin Nadro 已提交
697
.sb-button {
K
Kevin Nadro 已提交
698
    border: 1px solid #515151;
K
Kevin Nadro 已提交
699 700
    height: 25px;
    margin: 0 auto;
K
Kevin Nadro 已提交
701 702
}

K
Kevin Nadro 已提交
703 704 705 706
.auto-gen {
    top: 30px;
    height: 100%;
    width: 100%;
K
Kevin Nadro 已提交
707 708 709 710 711
    text-align: center;
    background-color: #262626;
    align-items: center;
}

K
Kevin Nadro 已提交
712
.inputs {
K
Kevin Nadro 已提交
713 714 715 716
    display: inline-block;
    border: 0;
    background-color: #505050;
    height: 25px;
K
Kevin Nadro 已提交
717 718 719 720 721 722 723 724 725 726 727 728 729 730 731
    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 已提交
732
}