CoCalc -- jquery.terminal-2.12.0.css

GitHub Repository: malwaredllc/byob
Path: blob/master/web-gui/buildyourownbotnet/assets/js/jquery-terminal/css/jquery.terminal-2.12.0.css
¹²⁹³ views
1
/*!
2
 *       __ _____                     ________                              __
3
 *      / // _  /__ __ _____ ___ __ _/__  ___/__ ___ ______ __ __  __ ___  / /
4
 *  __ / // // // // // _  // _// // / / // _  // _//     // //  \/ // _ \/ /
5
 * /  / // // // // // ___// / / // / / // ___// / / / / // // /\  // // / /__
6
 * \___//____ \\___//____//_/ _\_  / /_//____//_/ /_/ /_//_//_/ /_/ \__\_\___/
7
 *           \/              /____/                              version 2.12.0
8
 * http://terminal.jcubic.pl
9
 *
10
 * This file is part of jQuery Terminal.
11
 *
12
 * Copyright (c) 2011-2019 Jakub Jankiewicz <https://jcubic.pl/me>
13
 * Released under the MIT license
14
 *
15
 * Date: Wed, 01 Jan 2020 17:03:16 +0000
16
 */
17
.terminal .terminal-output .format, .cmd .format,
18
.cmd-prompt, .cmd-prompt div {
19
    display: inline-block;
20
}
21
.terminal h1, .terminal h2, .terminal h3, .terminal h4, .terminal h5, .terminal h6, .terminal pre, .cmd {
22
    margin: 0;
23
}
24
/*
25
.terminal h1, .terminal h2, .terminal h3, .terminal h4, .terminal h5, .terminal h6 {
26
    line-height: 1.2em;
27
}
28
/*
29
.cmd .mask {
30
    width: 10px;
31
    height: 11px;
32
    background: black;
33
    z-index: 100;
34
}
35
*/
36
.cmd .cmd-clipboard {
37
    position: absolute;
38
    left: -16px;
39
    top: 0;
40
    width: 16px;
41
    height: 16px;
42
    /* this seems to work after all on Android */
43
    /*left: -99999px;
44
    clip: rect(1px,1px,1px,1px);
45
    /* on desktop textarea appear when paste */
46
    /* opacity is needed for Edge and IE
47
    opacity: 0.01;
48
    filter: alpha(opacity = 0.01);
49
    filter: progid:DXImageTransform.Microsoft.Alpha(opacity=0.01);*/
50
    background-color: transparent;
51
    border: none;
52
    color: transparent;
53
    outline: none;
54
    padding: 0;
55
    resize: none;
56
    z-index: 1000;
57
    overflow: hidden;
58
    white-space: pre;
59
    text-indent: -9999em; /* better cursor hiding for Safari and IE */
60
    top: calc(var(--cursor-line, 0) * 1em);
61
}
62

63
.cmd span.cmd-end-line,
64
.cmd span.cmd-end-line span,
65
.cmd div.cmd-end-line span[data-text]:last-child,
66
.cmd div.cmd-end-line span[data-text]:last-child span,
67
.cmd .cursor + span:empty {
68
    -webkit-touch-callout: none; /* iOS Safari */
69
      -webkit-user-select: none; /* Safari */
70
       -khtml-user-select: none; /* Konqueror HTML */
71
         -moz-user-select: none; /* Firefox */
72
          -ms-user-select: none; /* Internet Explorer/Edge */
73
              user-select: none; /* Non-prefixed version, currently supported by Chrome and Opera */
74
}
75
.terminal img, .terminal audio, .terminal object, .terminal canvas {
76
    cursor: default;
77
}
78
.terminal {
79
    position: relative;
80
    /*overflow: hidden;*/
81
    overflow-y: auto;
82
    /* overflow-x: hidden; */
83
}
84
terminal.terminal-temp {
85
    visibility: hidden;
86
}
87
.terminal {
88
    contain: content;
89
}
90
body.terminal {
91
    min-height: 100vh;
92
    height: 100%;
93
}
94
html {
95
    height: 100%;
96
}
97
body.terminal, body.full-screen-terminal {
98
    margin: 0;
99
    height: 100%;
100
}
101
body.full-screen-terminal .terminal {
102
    height: 100%;
103
}
104
.terminal > div.terminal-fill {
105
    min-height: 100%;
106
    height: 100%;
107
}
108
.terminal > .terminal-resizer, .terminal > .terminal-font .terminal-resizer {
109
    position: absolute;
110
    top: 0;
111
    right: 0;
112
    bottom: 0;
113
    left: 0;
114
    overflow: hidden;
115
    pointer-events: none;
116
    z-index: -1;
117
    height: 100%;
118
    border: none;
119
    padding: 0;
120
    width: 100%
121
}
122
.cmd {
123
    padding: 0;
124
    position: relative;
125
    width: 100%;
126
}
127
.terminal a[tabindex="1000"],
128
.terminal a[tabindex="1000"]:active,
129
.terminal a[tabindex="1000"]:focus {
130
    outline: none;
131
}
132
.terminal .inverted, .cmd .inverted,
133
.terminal .terminal-inverted, .cmd .cmd-inverted {
134
    background-color: #aaa;
135
    color: #000;
136
}
137
.terminal .terminal-output > :not(.raw) a[href] span,
138
.cmd a[href] span {
139
    /*
140
     * shorter and simple solution
141
     * it's hard to overwrite long :not selector (:not(a span) don't work)
142
     */
143
    color: #0F60FF !important;
144
    --color: var(--link-color, #0F60FF);
145
    color: var(--link-color, #0F60FF) !important;
146
    text-decoration: underline;
147
}
148
.terminal .terminal-output > :not(.raw) a[href]:hover span,
149
.cmd a[href]:hover span {
150
    background-color: #0F60FF !important;
151
    background-color: var(--link-color, #0F60FF) !important;
152
    color: var(--background, #000) !important;
153
    text-decoration: none;
154
}
155
.cmd .cmd-cursor {
156
    display: inline-block;
157
    vertical-align: top;
158
}
159
.cmd .cmd-cursor-line > span,
160
.cmd .cmd-cursor-line img {
161
    display: inline-block;
162
}
163
.cmd-wrapper div [data-text] {
164
    /* fix for images */
165
    vertical-align: top;
166
}
167
.cmd .cmd-cursor.cmd-blink span:not(.emoji) span {
168
    -webkit-animation: terminal-blink 1s infinite linear;
169
       -moz-animation: terminal-blink 1s infinite linear;
170
        -ms-animation: terminal-blink 1s infinite linear;
171
            animation: terminal-blink 1s infinite linear;
172
}
173
.cmd .cmd-cursor .emoji {
174
        -webkit-animation: terminal-blink 1s infinite linear;
175
           -moz-animation: terminal-blink 1s infinite linear;
176
            -ms-animation: terminal-blink 1s infinite linear;
177
                animation: terminal-blink 1s infinite linear;
178
}
179
.bar.terminal .inverted, .bar.cmd .cmd-inverted {
180
    box-shadow: -2px 0 0 -1px #aaa;
181
    box-shadow: -2px 0 0 -1px var(--original-color, #aaa);
182
}
183
.terminal .terminal .terminal-output > div > div, .cmd .cmd-prompt {
184
    display: block;
185
    /*line-height: 15px;*/
186
    height: auto;
187
}
188
.terminal .terminal-output > div > div, .cmd div {
189
    min-height: 14px;
190
    min-height: calc(var(--size, 1) * 14px);
191
}
192
.terminal .terminal-output > div:not(.raw) div {
193
    white-space: nowrap;
194
}
195
.cmd .cmd-prompt > span {
196
    float: left;
197
}
198
.cmd span[style*="width"], .terminal span[style*="width"] {
199
    display: inline-block;
200
}
201
.terminal,
202
.terminal-output > :not(.raw) span,
203
.terminal-output > :not(.raw) a,
204
.terminal-output > :not(.raw) div,
205
.cmd,
206
.cmd span,
207
.cmd div {
208
    font-family: monospace;
209
    /*font-family: FreeMono, monospace; this don't work on Android */
210
    font-size: 12px;
211
    line-height: 15px;
212
}
213
.terminal-output > :not(.raw) span:not(.token):not(.inverted):not(.terminal-inverted):not(.cmd-inverted):not(.terminal-error):not(.emoji),
214
.cmd span:not(.cmd-inverted):not(.token):not(.emoji) {
215
    color: #aaa;
216
    background-color: #000;
217
}
218
.terminal-output > :not(.raw) .emoji, .cmd .emoji {
219
    height: 14px;
220
    background-size: contain;
221
    background-repeat: no-repeat;
222
    color: transparent;
223
    position: relative;
224
}
225
.terminal-output > :not(.raw) .emoji, .terminal-output > :not(.raw) .emoji span,
226
.cmd .emoji, .cmd .emoji span {
227
    display: inline-block;
228
    width: 2ch;
229
}
230

231
.terminal, .cmd {
232
    box-sizing: border-box;
233
    cursor: text;
234
}
235
.cmd .cmd-cursor span:not(.token):not(.inverted) {
236
    color: inherit;
237
    background-color: inherit;
238
}
239
.cmd .emoji.emoji.emoji.emoji, .cmd .emoji.emoji.emoji.emoji span {
240
    color: transparent;
241
    background-color: transparent;
242
}
243
.cmd .cmd-cursor * {
244
    background-color: transparent;
245
}
246
.cmd div {
247
    clear: both;
248
}
249
.cmd .cmd-prompt + div {
250
    clear: right;
251
}
252
.terminal-output > div > div, .cmd div {
253
    min-height: 15px;
254
}
255
terminal .terminal-output > div {
256
    margin-top: -1px;
257
}
258
.terminal-output > div.raw > div * {
259
    overflow-wrap: break-word;
260
    word-wrap: break-word;
261
}
262
.terminal .terminal-font {
263
    position: absolute;
264
    float: left;
265
    font-size: inherit;
266
    line-height: inherit;
267
    top: -100%;
268
    left: 0;
269
    margin-bottom: 1px;
270
}
271
.cmd > span:not(.cmd-prompt) {
272
    float: left;
273
}
274
.cmd .cmd-prompt span.cmd-line {
275
    display: block;
276
    float: none;
277
}
278
.terminal table {
279
    border-collapse: collapse;
280
}
281
.terminal td {
282
    border: 1px solid #aaa;
283
}
284
.cmd.cmd span[data-text]:not(.emoji) span {
285
    background-color: inherit;
286
    color: inherit;
287
}
288
/* fix for underline on middle line */
289
.cmd [role="presentation"].cmd-cursor-line {
290
    position: relative;
291
    z-index: 100;
292
}
293
/* prompt above cursor line */
294
.cmd .cmd-prompt {
295
    position: relative;
296
    z-index: 200;
297
}
298
.cmd [role="presentation"]:not(.cmd-cursor-line) {
299
    overflow: hidden;
300
}
301
/*
302
 * this is set so animation can select original color as backgound for cursor
303
 * so span can have --color for selection
304
 */
305
.cmd {
306
    --original-color: var(--color, #aaa);
307
}
308
.cmd a[href] {
309
    --original-color: var(--link-color, #0F60FF);
310
}
311
/* DEFAULT ANIMATION */
312
@-webkit-keyframes terminal-blink {
313
    0%, 50% {
314
        background-color: #bbb;
315
        background-color: var(--original-color, #bbb);
316
        color: #000;
317
        color: var(--background, #000);
318
    }
319
    50.1%, 100% {
320
        background-color: inherit;
321
        color: inherit;
322
    }
323
}
324
@-moz-keyframes terminal-blink {
325
    0%, 50% {
326
        background-color: #aaa;
327
        background-color: var(--original-color, #aaa);
328
        color: #000;
329
        color: var(--background, #000);
330
    }
331
    50.1%, 100% {
332
        background-color: inherit;
333
        color: inherit;
334
    }
335
}
336
@keyframes terminal-blink {
337
    0%, 50% {
338
        background-color: #aaa;
339
        background-color: var(--original-color, #aaa);
340
        color: #000;
341
        color: var(--background, #000);
342
    }
343
    50.1%, 100% {
344
        background-color: inherit;
345
        color: inherit;
346
    }
347
}
348
/* GLOW ANIMATION */
349
@-webkit-keyframes terminal-glow {
350
    0%, 50% {
351
        background-color: #aaa;
352
        background-color: var(--original-color, #aaa);
353
        color: #000;
354
        color: var(--background, #000);
355
        box-shadow: 0 0 3px #aaa;
356
        -webkit-box-shadow: 0 0 3px var(--color, #aaa);
357
        box-shadow: 0 0 3px var(--color, #aaa);
358
    }
359
    50.1%, 100% {
360
        background-color: inherit;
361
        color: inherit;
362
        -webkit-box-shadow: none;
363
        box-shadow: none;
364
    }
365
}
366
@-moz-keyframes terminal-glow {
367
    0%, 50% {
368
        background-color: #aaa;
369
        background-color: var(--original-color, #aaa);
370
        color: #000;
371
        color: var(--background, #000);
372
        box-shadow: 0 0 3px #aaa;
373
        -moz-box-shadow: 0 0 3px var(--color, #aaa);
374
        box-shadow: 0 0 3px var(--color, #aaa);
375
    }
376
    50.1%, 100% {
377
        background-color: inherit;
378
        color: inherit;
379
        -moz-box-shadow: none;
380
        box-shadow: none;
381
    }
382
}
383
@keyframes terminal-glow {
384
    0%, 50% {
385
        background-color: #aaa;
386
        background-color: var(--original-color, #aaa);
387
        color: #000;
388
        color: var(--background, #000);
389
        box-shadow: 0 0 3px #aaa;
390
        box-shadow: 0 0 3px var(--color, #aaa);
391
    }
392
    50.1%, 100% {
393
        background-color: inherit;
394
        color: inherit;
395
        box-shadow: none;
396
    }
397
}
398
/* BAR ANIMATION */
399
@-webkit-keyframes terminal-bar {
400
  0%, 50% {
401
      box-shadow: -2px 0 0 -1px #aaa;
402
      box-shadow: -2px 0 0 -1px var(--original-color, #aaa);
403
  }
404
  50.1%, 100% {
405
      box-shadow: none;
406
  }
407
}
408
@-moz-keyframes terminal-bar {
409
  0%, 50% {
410
      box-shadow: -2px 0 0 -1px #aaa;
411
      box-shadow: -2px 0 0 -1px var(--original-color, #aaa);
412
  }
413
  50.1%, 100% {
414
      box-shadow: none;
415
  }
416
}
417
@keyframes terminal-bar {
418
  0%, 50% {
419
      box-shadow: -2px 0 0 -1px #aaa;
420
      box-shadow: -2px 0 0 -1px var(--original-color, #aaa);
421
  }
422
  50.1%, 100% {
423
      box-shadow: none;
424
  }
425
}
426
/* UNDERLINE ANIMATION */
427
@-webkit-keyframes terminal-underline {
428
  0%, 50% {
429
      box-shadow: 0 2px 0 #aaa;
430
      box-shadow: 0 2px 0 var(--original-color, #aaa);
431
  }
432
  50.1%, 100% {
433
      box-shadow: none;
434
  }
435
}
436
@-moz-keyframes terminal-underline {
437
  0%, 50% {
438
      box-shadow: 0 2px 0 #aaa;
439
      box-shadow: 0 2px 0 var(--original-color, #aaa);
440
  }
441
  50.1%, 100% {
442
      box-shadow: none;
443
  }
444
}
445
@keyframes terminal-underline {
446
  0%, 50% {
447
      box-shadow: 0 2px 0 #aaa;
448
      box-shadow: 0 2px 0 var(--original-color, #aaa);
449
  }
450
  50.1%, 100% {
451
      box-shadow: none;
452
  }
453
}
454
.underline-animation .cmd-cursor.cmd-blink span span,
455
.underline-animation .cmd-cursor.cmd-blink a {
456
    -webkit-animation-name: terminal-underline;
457
       -moz-animation-name: terminal-underline;
458
        -ms-animation-name: terminal-underline;
459
            animation-name: terminal-underline;
460
}
461
.glow-animation .cmd-cursor.cmd-blink span span,
462
.glow-animation .cmd-cursor.cmd-blink a {
463
    -webkit-animation-name: terminal-glow;
464
       -moz-animation-name: terminal-glow;
465
        -ms-animation-name: terminal-glow;
466
            animation-name: terminal-glow;
467
}
468
.bar-animation .cmd-cursor.cmd-blink span span,
469
.bar-animation .cmd-cursor.cmd-blink a {
470
    -webkit-animation-name: terminal-bar;
471
       -moz-animation-name: terminal-bar;
472
        -ms-animation-name: terminal-bar;
473
            animation-name: terminal-bar;
474
}
475
/*
476
   Internet Explorer & Edge *, Safari ≤ 6
477
   source: https://w3reign.com/internet-explorer-edge-css-hacks/
478
*/
479

480

481
@supports (-ms-ime-align:auto) {
482
    .cmd .cmd-clipboard {
483
        margin-left: -9999px;
484
    }
485
    @keyframes terminal-blink {
486
        0%, 50% {
487
            background-color: var(--original-color, #aaa);
488
            color: var(--background, #000);
489
        }
490
        50.1%, 100% {
491
            background-color: var(--background, #000);
492
            color: var(--original-color, #aaa);
493
        }
494
    }
495
    @keyframes terminal-bar {
496
        0%, 50% {
497
            border-left-color: var(--color, #aaa);
498
        }
499
        50.1%, 100% {
500
            border-left-color: var(--background, #000);
501
        }
502
    }
503
    @keyframes terminal-underline {
504
        0%, 50% {
505
            border-bottom-color: var(--color, #aaa);
506
            line-height: 12px;
507
            line-height: calc(var(--size, 1) * 12px);
508
        }
509
        50.1%, 100% {
510
            border-bottom-color: var(--background, #000);
511
            line-height: 12px;
512
            line-height: calc(var(--size, 1) * 12px);
513
        }
514
    }
515
}
516
/* IE hack Edge one don't work in IE11 */
517
@media all and (-ms-high-contrast: none), (-ms-high-contrast: active) {
518
    .cmd .cmd-clipboard {
519
        margin-left: -9999px;
520
    }
521
    .underline-animation .cursor.blink span span {
522
        margin-top: 1px;
523
    }
524
    @-ms-keyframes terminal-blink {
525
        0%, 50% {
526
            background-color: #aaa;
527
            color: #000;
528
        }
529
        50.1%, 100% {
530
            background-color: #000;
531
            color: #aaa;
532
        }
533
    }
534
}
535
.terminal h1::-moz-selection,
536
.terminal h2::-moz-selection,
537
.terminal h3::-moz-selection,
538
.terminal h4::-moz-selection,
539
.terminal h5::-moz-selection,
540
.terminal h6::-moz-selection,
541
.terminal pre::-moz-selection,
542
.terminal td::-moz-selection,
543
.terminal .terminal-output div div::-moz-selection,
544
.terminal .terminal-output div span::-moz-selection,
545
.terminal .terminal-output div div a::-moz-selection,
546
.terminal .terminal-output .raw div::-moz-selection,
547
.cmd div::-moz-selection,
548
.cmd > span::-moz-selection,
549
.cmd > span span::-moz-selection,
550
.cmd > div::-moz-selection,
551
.cmd > div span::-moz-selection,
552
.cmd .prompt span::-moz-selection {
553
    background-color: #aaa;
554
    color: #000;
555
}
556
/* this don't work in Chrome
557
.terminal tr td::-moz-selection {
558
    border-color: #000;
559
}
560
.terminal tr td::selection {
561
    border-color: #000;
562
}
563
*/
564
.terminal h1::selection,
565
.terminal h2::selection,
566
.terminal h3::selection,
567
.terminal h4::selection,
568
.terminal h5::selection,
569
.terminal h6::selection,
570
.terminal pre::selection,
571
.terminal td::selection,
572
.terminal .terminal-output::selection,
573
.terminal .terminal-output div div::selection,
574
.terminal .terminal-output div div a::selection,
575
.terminal .terminal-output div span::selection,
576
.terminal .terminal-output .raw div::selection,
577
.cmd div::selection,
578
.cmd > span::selection,
579
.cmd > span span::selection,
580
.cmd > div::selection,
581
.cmd > div span::selection,
582
.cmd .prompt span::selection {
583
    /*
584
     * use rgba to fix transparent selection in chrome
585
     * http://stackoverflow.com/questions/7224445/css3-selection-behaves-differently-in-ff-chrome
586
     */
587
    background-color: rgba(170, 170, 170, 0.99);
588
    color: #000;
589
}
590

591
.terminal .terminal-output > :not(.raw) .terminal-error,
592
.terminal .terminal-output > :not(.raw) .terminal-error * {
593
    color: red;
594
    color: var(--error-color, red);
595
}
596
.tilda {
597
    position: fixed;
598
    top: 0;
599
    left: 0;
600
    width: 100%;
601
    z-index: 1100;
602
}
603
.ui-dialog-content .terminal {
604
    width: 100%;
605
    height: 100%;
606
    box-sizing: border-box;
607
}
608
.ui-dialog .ui-dialog-content.dterm {
609
    padding: 0;
610
}
611
.clear {
612
    clear: both;
613
}
614
.terminal .terminal-output > :not(.raw) a[href], .cmd a[href] {
615
    color: #0F60FF;
616
    color: var(--link-color, #0F60FF);
617
    cursor: pointer;
618
}
619
.cmd a[href]:not(.terminal-inverted),
620
.terminal .terminal-output > :not(.raw) a[href]:not(.terminal-inverted) {
621
    --color: var(--link-color, #0F60FF);
622
}
623
.terminal .terminal-output > :not(.raw) a[href].terminal-inverted {
624
    background: var(--color, #ccc);
625
}
626
.terminal .terminal-output > :not(.raw) a[href]:hover, .cmd a[href]:hover {
627
    background-color: #0F60FF;
628
    background-color: var(--link-color, #0F60FF);
629
    color: var(--background, #000) !important;
630
    text-decoration: none;
631
}
632
.terminal .terminal-fill {
633
    position: absolute;
634
    left: 0;
635
    top: -100%;
636
    width: 100%;
637
    height: 100%;
638
    margin: 1px 0 0;
639
    border: none;
640
    opacity: 0.01;
641
    pointer-events: none;
642
    box-sizing: border-box;
643
}
644
.terminal, .terminal .terminal-fill {
645
    padding: 10px;
646
}
647
/* padding added as margin to .cmd to fix FireFox bug see: https://stackoverflow.com/q/29986977/387194 */
648
.terminal {
649
    padding-bottom: 0;
650
}
651
.terminal .cmd {
652
    margin-bottom: 10px;
653
}
654
@supports (--css: variables) {
655
    .terminal,
656
    .terminal-output > :not(.raw) span:not(.token):not(.inverted):not(.terminal-inverted):not(.cmd-inverted):not(.terminal-error):not(.emoji),
657
    .terminal-output > :not(.raw) a,
658
    .terminal-output > :not(.raw) div,
659
    .cmd,
660
    .cmd span:not(.cmd-inverted):not(.token):not(.emoji),
661
    .cmd div {
662
        color: var(--color, #aaa);
663
        background-color: var(--background, #000);
664
    }
665
    .terminal span[style*="--length"] {
666
        /*
667
         * default value for char-width taken from Google Chrome for default font
668
         * to silence warning in webpack #371
669
         */
670
        width: calc(var(--length, 1) * var(--char-width, 7.23438) * 1px);
671
        display: inline-block;
672
    }
673
    .terminal,
674
    .terminal-output > :not(.raw) span,
675
    .terminal-output > :not(.raw) a,
676
    .terminal-output > :not(.raw) div,
677
    .cmd,
678
    .cmd span,
679
    .cmd div {
680
        font-size: calc(var(--size, 1) * 12px);
681
        /* TODO: investigate + 1px below that create space in selection it suppose to fix
682
         *       cutting off underlines
683
         */
684
        line-height: calc(var(--size, 1) * 14px);
685
    }
686
    .terminal-output > :not(.raw) .emoji, .cmd .emoji {
687
        height: calc(var(--size, 1) * 14px);
688
    }
689
    .cmd .clipboard {
690
        top: calc(var(--size, 1) * 14 * var(--cursor-line, 0) * 1px);
691
    }
692
    .terminal .inverted, .cmd .inverted {
693
        background-color: var(--color, #aaa);
694
        color: var(--background, #000);
695
    }
696
    .cmd div {
697
        min-height: calc(var(--size, 1) * 14px);
698
    }
699
    .cmd .cmd-cursor.cmd-blink {
700
        color: var(--color, #aaa);
701
        background-color: var(--background, #000);
702
    }
703
    .cmd .cmd-cursor.cmd-blink span:not(.emoji) span,
704
    .cmd .cmd-cursor.cmd-blink a {
705
        -webkit-animation: var(--animation, terminal-blink) 1s infinite linear;
706
           -moz-animation: var(--animation, terminal-blink) 1s infinite linear;
707
            -ms-animation: var(--animation, terminal-blink) 1s infinite linear;
708
                animation: var(--animation, terminal-blink) 1s infinite linear;
709
    }
710
    .cmd .cmd-cursor.cmd-blink .emoji {
711
        -webkit-animation: var(--animation, terminal-blink) 1s infinite linear;
712
           -moz-animation: var(--animation, terminal-blink) 1s infinite linear;
713
            -ms-animation: var(--animation, terminal-blink) 1s infinite linear;
714
                animation: var(--animation, terminal-blink) 1s infinite linear;
715
    }
716
    .cmd .cmd-cursor.cmd-blink .emoji span {
717
        color: transparent;
718
    }
719
    .terminal h1::-moz-selection,
720
    .terminal h2::-moz-selection,
721
    .terminal h3::-moz-selection,
722
    .terminal h4::-moz-selection,
723
    .terminal h5::-moz-selection,
724
    .terminal h6::-moz-selection,
725
    .terminal pre::-moz-selection,
726
    .terminal td::-moz-selection,
727
    .terminal .terminal-output div div::-moz-selection,
728
    .terminal .terminal-output div span::-moz-selection,
729
    .cmd div::-moz-selection,
730
    .cmd > span::-moz-selection,
731
    .cmd > span span::-moz-selection,
732
    .cmd > div::-moz-selection,
733
    .cmd > div span::-moz-selection,
734
    .cmd .cmd-prompt span::-moz-selection {
735
        background-color: var(--color, #aaa);
736
        color: var(--background, #000);
737
    }
738
    .terminal .terminal-output div div a::-moz-selection {
739
        background-color: var(--link-color, rgba(15, 96, 255, 0.99)) !important;
740
        color: var(--background, #000) !important;
741
    }
742
    .terminal .terminal-output div div a:hover::-moz-selection {
743
        background-color: var(--link-color, rgba(2, 50, 144, 0.99)) !important;
744
    }
745
    .terminal h1::selection,
746
    .terminal h2::selection,
747
    .terminal h3::selection,
748
    .terminal h4::selection,
749
    .terminal h5::selection,
750
    .terminal h6::selection,
751
    .terminal pre::selection,
752
    .terminal td::selection,
753
    .terminal .terminal-output div div::selection,
754
    .terminal .terminal-output div span::selection,
755
    .cmd div::selection,
756
    .cmd > span::selection,
757
    .cmd > span span::selection,
758
    .cmd > div::selection,
759
    .cmd > div span::selection,
760
    .cmd .cmd-prompt span::selection {
761
        background-color: var(--color, rgba(170, 170, 170, 0.99)) !important;
762
        color: var(--background, #000) !important;
763
    }
764
    .terminal .terminal-output div div a::selection {
765
        background-color: var(--link-color, rgba(15, 96, 255, 0.99)) !important;
766
        color: var(--background, #000) !important;
767
    }
768
    .terminal .terminal-output div div a:hover::selection {
769
        background-color: var(--link-color, rgba(2, 50, 144, 0.99)) !important;
770
    }
771
}
772
/*
773
 * overwrite css variables that don't work with selection in Edge
774
 */
775
@supports (-ms-ime-align:auto) {
776
    .terminal h1::selection,
777
    .terminal h2::selection,
778
    .terminal h3::selection,
779
    .terminal h4::selection,
780
    .terminal h5::selection,
781
    .terminal h6::selection,
782
    .terminal pre::selection,
783
    .terminal td::selection,
784
    .terminal .terminal-output div div::selection,
785
    .terminal .terminal-output div div a::selection,
786
    .terminal .terminal-output div span::selection,
787
    .cmd div::selection,
788
    .cmd > span::selection,
789
    .cmd > span span::selection,
790
    .cmd > div::selection,
791
    .cmd > div span::selection,
792
    .cmd .prompt span::selection {
793
        background-color: rgba(170, 170, 170, 0.99);
794
        color: #000;
795
    }
796
}
797
/* PrismJS style overwrites */
798
.terminal .token.operator,
799
.terminal .token.entity,
800
.terminal .token.variable,
801
.terminal .token.url,
802
.terminal .token.string,
803
.terminal .style .token.string,
804
.terminal .token.token,
805
.cmd .token.operator,
806
.cmd .token.entity,
807
.cmd .token.variable,
808
.cmd .token.url,
809
.cmd .token.string,
810
.cmd .style .token.string,
811
.cmd .token.token {
812
    background-color: inherit;
813
}
814
/* FireFox hack
815
@supports (-moz-animation: foo) {
816
    .terminal,
817
    .terminal .terminal-output > :not(.raw) span,
818
    .terminal .terminal-output > :not(.raw) a,
819
    .terminal .terminal-output > :not(.raw) div,
820
    .cmd,
821
    .cmd span,
822
    .cmd div {
823
        line-height: calc(var(--size, 1) * 13px);
824
    }
825
}
826
*/
827
/* style for autocomplete menu */
828
.cmd .cursor-wrapper ul {
829
    list-style: none;
830
    margin: 0;
831
    padding: 0;
832
    float: left;
833
    position: absolute;
834
    top: 14px;
835
    left: 0;
836
}
837
.cmd .cursor-wrapper li {
838
    cursor: pointer;
839
    white-space: nowrap;
840
}
841
.cmd .cursor-wrapper li:hover {
842
    background: #aaa;
843
    color: #000;
844
}
845
.cursor-wrapper {
846
    position: relative;
847
}
848
/* images */
849
.terminal-output div[style*="100%;"] {
850
    overflow: hidden;
851
}
852
.terminal-output img {
853
    display: block;
854
}
855
.cmd img {
856
    height: 14px;
857
    height: calc(var(--size, 1) * 14px);
858
    border: 1px solid transparent;
859
}
860
.cmd-cursor img {
861
    border-color: #ccc;
862
    border-color: var(--color, #ccc);
863
}
864
.terminal-output svg.terminal-broken-image {
865
    height: calc(var(--size, 1) * 14px);
866
}
867
.terminal-output svg.terminal-broken-image use {
868
    fill: var(--color, #ccc);
869
}
870
.terminal-error {
871
    --color: var(--error-color);
872
}
873
.terminal-glow {
874
    --animation: terminal-glow;
875
}
876
.terminal-glow span[data-text],
877
.terminal-glow .cmd-prompt > span,
878
.terminal-glow a[data-text],
879
.terminal-glow [data-text] span,
880
.terminal-glow .terminal-output > div span,
881
.terminal-glow .terminal-output > div a[href] {
882
    text-shadow: 1px 1px 5px #ccc;
883
    text-shadow: 1px 1px 5px var(--color, #ccc);
884
}
885
/* is_bottom detection */
886
.terminal-scroll-marker {
887
    position: relative;
888
    height: 1px;
889
    margin-top: -1px;
890
    z-index: 100;
891
}
892
.terminal-scroll-marker div {
893
    position: absolute;
894
    bottom: 0;
895
    left: 0;
896
    right: 0;
897
    z-index: 200;
898
}
899

900
Product

Resources

Company
