stylesheet.css 10.1 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 255 256
.sandbox_container{
    left: 50%;
}

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

344
.files_bar {
D
duaraghav8@gmail 已提交
345
    height: 30px;
346
    border-bottom: 1px solid #505050;
D
duaraghav8@gmail 已提交
347 348
}

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

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

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

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

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

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

J
Jason Park 已提交
376 377 378 379 380 381 382 383 384
.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 已提交
385
    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 已提交
386 387
}

J
Jason Park 已提交
388
.explanation_container {
J
Jason Park 已提交
389
    border: none;
J
Jason Park 已提交
390 391
    top: 30px;
    height: 30px;
J
Jason Park 已提交
392 393
    background: rgb(38, 38, 38);
    padding: 8px;
J
Jason Park 已提交
394
    font-size: 12px;
J
Jason Park 已提交
395 396 397 398 399 400 401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417
}

#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 已提交
418 419 420 421
}

.data_container {
    top: 60px;
J
tree  
Jason Park 已提交
422
    bottom: 60%;
J
Jason Park 已提交
423 424 425
}

.code_container {
J
tree  
Jason Park 已提交
426
    top: 40%;
J
Jason Park 已提交
427 428 429 430 431 432 433 434 435 436 437 438 439 440 441 442 443 444 445
}

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 已提交
446
    z-index: 4;
J
Jason Park 已提交
447 448 449 450 451 452 453 454 455 456 457 458 459
}

.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 已提交
460 461
}

462 463 464 465 466
.toast.info {
    border-color: rgb(0, 150, 0);
    background: rgba(0, 120, 0, .8);
}

J
Jason Park 已提交
467 468 469 470
.github-fork-ribbon {
    position: fixed;
}

J
Jason Park 已提交
471 472 473 474
.github-fork-ribbon.left-bottom:before {
    background-color: #333;
}

J
Jason Park 已提交
475 476 477 478
.fa-spin-faster {
    animation: fa-spin 1s infinite ease-in-out;
}

J
Jason Park 已提交
479 480 481 482 483
.mtbl-wrapper {
    width: 100%;
    height: 100%;
}

J
Jason Park 已提交
484 485 486 487
.mtbl-table {
    display: inline-table;
    color: white;
    table-layout: fixed;
N
nem035 已提交
488
    border: 1px solid #505050;
J
Jason Park 已提交
489 490 491 492 493 494
}

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

495
.mtbl-col {
J
Jason Park 已提交
496 497 498 499
    display: table-cell;
    vertical-align: middle;
    text-align: center;
    background: #888;
500 501
}

502 503 504 505 506 507 508 509 510 511 512 513 514
.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 已提交
515
    background: #2962ff;
516 517
}

518
.mtbl-col.notified {
N
updated  
Nemanja Stojanovic 已提交
519
    background: #c51162;
N
nem035 已提交
520 521
}

J
Jason Park 已提交
522 523 524 525 526
.mchrt-chart {
    width: 100%;
    height: 100%;
}

N
nem035 已提交
527
#loading-slider {
J
Jason Park 已提交
528
    z-index: 6;
N
nem035 已提交
529 530 531 532 533 534 535 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
    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%;
    }
}

576 577 578 579
input[type="number"] {
    -moz-appearance: textfield;
}

N
nem035 已提交
580 581 582 583
input[type=number]::-webkit-inner-spin-button,
input[type=number]::-webkit-outer-spin-button {
    -webkit-appearance: none;
    margin: 0;
584 585
}

586
.applications li,
587
.complexity {
J
Jason Park 已提交
588
    margin: 10px 0px;
589
}
J
Jason Park 已提交
590

591
.complexity-type {
J
Jason Park 已提交
592
    font-weight: bold;
593 594
}

595
.top-menu-buttons button.active {
J
Jason Park 已提交
596
    font-weight: bold;
597 598
}

599
.top-menu-buttons button.active .fa {
J
Jason Park 已提交
600 601 602
    color: #00e676;
}

J
Jason Park 已提交
603 604 605 606 607 608 609 610
#btn_run > .btn-text:before {
    content: 'Run'
}

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

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

#btn_pause.active > .btn-text:before {
    content: 'Resume'
617
}
618

619
#btn_pause {
J
Jason Park 已提交
620
    width: 86px;
621 622 623
}

.top-menu-buttons button.active {
J
Jason Park 已提交
624
    box-shadow: 0px 0px 10px 3px #1a1a1a inset;
625 626 627
}

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

.executing {
J
Jason Park 已提交
632
    background: rgba(0, 174, 255, 0.4);
633
    border: 1px solid #0091ea;
J
Jason Park 已提交
634 635 636 637 638 639 640 641
    position: absolute;
    width: 100% !important;
    left: 0 !important;

    animation: line_highlight .1s;
}

@keyframes line_highlight {
J
Jason Park 已提交
642 643 644 645 646 647
    from {
        background: rgba(0, 174, 255, 0.1);
    }
    to {
        background: rgba(0, 174, 255, 0.4);
    }
J
Jason Park 已提交
648
}
649 650

.ace_editor {
J
Jason Park 已提交
651 652
    border-left: none;
    border-bottom: none;
653
}
J
Jason Park 已提交
654 655 656 657 658 659 660 661 662 663 664 665 666 667 668

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

    nav {
        height: 60px;
    }

    .top-menu-buttons {
        top: 30px;
        left: 0;
    }
K
sandbox  
Kevin Nadro 已提交
669 670 671 672 673 674 675 676 677 678
}

.buttonContainer{
    width: 75px;
    height: 25px;
    display: block;
    position: relative;
    z-index: 100;
    background-color: white;
}
K
Kevin Nadro 已提交
679 680

.inputField{
K
Kevin Nadro 已提交
681
    width: 25px;
682
    border: 0;
K
Kevin Nadro 已提交
683
}
K
Kevin Nadro 已提交
684 685 686 687 688 689 690 691 692 693 694 695 696 697

.sb-button{
    border: 1px solid #515151;
}

.inputContainer{
    position: relative;
    width: 100%;
}

.inputs{
    position: relative;
    display: block;
}