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);
J
Jason Park 已提交
66 67
}

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

N
nem035 已提交
73 74
.btn.active:hover,
button.active:hover {
K
Kevin Nadro 已提交
75
    background: rgba(36, 36, 36);
N
nem035 已提交
76
    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;
}

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

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

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

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

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

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

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

#shared.collapse {
    display: none;
}

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

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

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

.sidemenu.active {
    visibility: visible;
}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

    animation: line_highlight .1s;
}

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

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

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

    nav {
        height: 60px;
    }

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

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

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

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

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

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