cargo-html 0.2.1

create self-contained HTML programs
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100

*[data-cargo-html-palette="vga"] {
    background-color:               var(--cargo-html-console-color-0);
    /* Default VGA Colors: https://en.wikipedia.org/wiki/ANSI_escape_code#3-bit_and_4-bit */
    --cargo-html-console-color-0:   #000;
    --cargo-html-console-color-1:   #A00;
    --cargo-html-console-color-2:   #0A0;
    --cargo-html-console-color-3:   #A50;
    --cargo-html-console-color-4:   #00A;
    --cargo-html-console-color-5:   #A0A;
    --cargo-html-console-color-6:   #0AA;
    --cargo-html-console-color-7:   #AAA;
    --cargo-html-console-color-8:   #555;
    --cargo-html-console-color-9:   #F55;
    --cargo-html-console-color-10:  #5F5;
    --cargo-html-console-color-11:  #FF5;
    --cargo-html-console-color-12:  #55F;
    --cargo-html-console-color-13:  #F5F;
    --cargo-html-console-color-14:  #5FF;
    --cargo-html-console-color-15:  #FFF;
    color:                          var(--cargo-html-console-color-15);
}

*[data-cargo-html-palette="monochrome-amber"] {
    background-color:               var(--cargo-html-console-color-0);

    --cargo-html-console-color-0:   #111111;
    --cargo-html-console-color-1:   #d86602;
    --cargo-html-console-color-15:  #ffc400;

    --cargo-html-console-color-2:   var(--cargo-html-console-color-1);
    --cargo-html-console-color-3:   var(--cargo-html-console-color-1);
    --cargo-html-console-color-4:   var(--cargo-html-console-color-1);
    --cargo-html-console-color-5:   var(--cargo-html-console-color-1);
    --cargo-html-console-color-6:   var(--cargo-html-console-color-1);
    --cargo-html-console-color-7:   var(--cargo-html-console-color-1);
    --cargo-html-console-color-8:   var(--cargo-html-console-color-1);
    --cargo-html-console-color-9:   var(--cargo-html-console-color-1);
    --cargo-html-console-color-10:  var(--cargo-html-console-color-1);
    --cargo-html-console-color-11:  var(--cargo-html-console-color-1);
    --cargo-html-console-color-12:  var(--cargo-html-console-color-1);
    --cargo-html-console-color-13:  var(--cargo-html-console-color-1);
    --cargo-html-console-color-14:  var(--cargo-html-console-color-1);

    text-shadow:
        var(--cargo-html-console-color-1)  0.4px  0.4px 0.4px,
        var(--cargo-html-console-color-1)  0.4px -0.4px 0.4px,
        var(--cargo-html-console-color-1) -0.4px  0.4px 0.4px,
        var(--cargo-html-console-color-1) -0.4px -0.4px 0.4px;

    color:                          var(--cargo-html-console-color-15);
}

:where(*[data-cargo-html-palette]) a {
    color: inherit;
}

#cargo-html-console {
    white-space:        pre-wrap;
    display:            block;
    overflow-y:         auto;
    color:              var(--cargo-html-console-color-15);
    background-color:   var(--cargo-html-console-color-0);
}

#cargo-html-console::-webkit-scrollbar {
    background:         var(--cargo-html-console-color-0);
    width:              10px;
}

#cargo-html-console::-webkit-scrollbar-thumb {
    background:     var(--cargo-html-console-color-7);
    border-radius:  5px;
}

@keyframes blink {
    0%      { opacity: 60%; }
    50%     { opacity: 40%; }
    100%    { opacity: 60%; }
}

#cargo-html-console-input {
    opacity:            70%;
    text-decoration:    underline;
}

#cargo-html-console .exit-ok    { color: var(--cargo-html-console-color-8); }
#cargo-html-console .exit-error { color: var(--cargo-html-console-color-1); }
#cargo-html-console .stderr     { color: var(--cargo-html-console-color-9); }

#cargo-html-console .cursor {
    animation:      blink 800ms step-start infinite;

    /* https://stackoverflow.com/a/4407335 */
    -webkit-touch-callout:  none; /* iOS Safari */
    -webkit-user-select:    none; /* Safari */
    -khtml-user-select:     none; /* Konqueror HTML */
    -moz-user-select:       none; /* Old versions of Firefox */
    -ms-user-select:        none; /* Internet Explorer, Old versions of Edge */
    user-select:            none; /* Chrome, Edge, Opera, FireFox */
}