stylesheet.css 9.8 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
.editor_container {
    left: 50%;
K
sandbox  
Kevin Nadro 已提交
259
    display: none;
J
Jason Park 已提交
260 261
}

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

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

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

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

.tab.active {
J
Jason Park 已提交
288 289 290
    visibility: visible;
}

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

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

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

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

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

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

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

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

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

J
Jason Park 已提交
346 347 348 349
.files_bar > * {
    position: absolute;
}

J
Jason Park 已提交
350 351 352 353
.files_bar > button {
    width: 30px;
}

J
Jason Park 已提交
354 355
.files_bar .btn-left {
    left: 0;
356 357
}

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

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

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

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

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

#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 已提交
415 416 417 418
}

.data_container {
    top: 60px;
J
tree  
Jason Park 已提交
419
    bottom: 60%;
J
Jason Park 已提交
420 421 422
}

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

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

.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 已提交
457 458
}

459 460 461 462 463
.toast.info {
    border-color: rgb(0, 150, 0);
    background: rgba(0, 120, 0, .8);
}

J
Jason Park 已提交
464 465 466 467
.github-fork-ribbon {
    position: fixed;
}

J
Jason Park 已提交
468 469 470 471
.github-fork-ribbon.left-bottom:before {
    background-color: #333;
}

J
Jason Park 已提交
472 473 474 475
.fa-spin-faster {
    animation: fa-spin 1s infinite ease-in-out;
}

J
Jason Park 已提交
476 477 478 479 480
.mtbl-wrapper {
    width: 100%;
    height: 100%;
}

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

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

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

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

515
.mtbl-col.notified {
N
updated  
Nemanja Stojanovic 已提交
516
    background: #c51162;
N
nem035 已提交
517 518
}

J
Jason Park 已提交
519 520 521 522 523
.mchrt-chart {
    width: 100%;
    height: 100%;
}

N
nem035 已提交
524
#loading-slider {
J
Jason Park 已提交
525
    z-index: 6;
N
nem035 已提交
526 527 528 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
    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%;
    }
}

573 574 575 576
input[type="number"] {
    -moz-appearance: textfield;
}

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

583
.applications li,
584
.complexity {
J
Jason Park 已提交
585
    margin: 10px 0px;
586
}
J
Jason Park 已提交
587

588
.complexity-type {
J
Jason Park 已提交
589
    font-weight: bold;
590 591
}

592
.top-menu-buttons button.active {
J
Jason Park 已提交
593
    font-weight: bold;
594 595
}

596
.top-menu-buttons button.active .fa {
J
Jason Park 已提交
597 598 599
    color: #00e676;
}

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

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

J
Jason Park 已提交
608 609
#btn_pause > .btn-text:before {
    content: 'Pause'
610
}
J
Jason Park 已提交
611 612 613

#btn_pause.active > .btn-text:before {
    content: 'Resume'
614
}
615

616
#btn_pause {
J
Jason Park 已提交
617
    width: 86px;
618 619 620
}

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

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

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

    animation: line_highlight .1s;
}

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

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

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

    nav {
        height: 60px;
    }

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

.buttonContainer{
    width: 75px;
    height: 25px;
    display: block;
    position: relative;
    z-index: 100;
    background-color: white;
}