terrazzo-terminal 0.2.7

A simple web-based terminal emulator built on Terrazzo.
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

.terminals {
    width: 100%;
    height: 100%;
    overflow-y: hidden;

    .tabs {
        --link-underline-thickness: 4px;
        height: 100%;
    }

    .titles {
        @include trz-header;

        background-color: var(--background-color);
        border: 1px solid var(--color);

        @include prevent-user-select;
    }

    .titles>ul {
        @include trz-header;
        overflow-x: scroll;
        overflow-y: hidden;
        @include no-scroll-bar;
    }

    .title {
        height: 100%;

        padding-top: calc(var(--padding) - var(--link-underline-thickness));
        padding-bottom: calc(var(--padding) - var(--link-underline-thickness));

        cursor: pointer;
        color: var(--color);

        &:hover,
        &.selected {
            color: var(--selected-color);
            background-color: var(--selected-background-color);
        }

        &>div {
            display: flex;
            flex-direction: row;
            align-items: center;
            height: 100%;
        }
    }

    .close-icon {
        height: 15px;
        filter: invert(1);
        visibility: hidden;

        &:hover {
            background-color: var(--link-color);
            filter: invert(0);
        }

        margin-left: var(--padding);
        cursor: pointer;
        padding: 3px;
    }

    .titles .title:hover .close-icon {
        visibility: visible;
    }

    .items {
        flex: 1;
        min-height: 0;

        &>ul {
            height: 100%;

            &>li {
                height: 100%;
            }
        }
    }

    .item {
        height: 100%;
    }

    .terminal {
        height: 100%;

        &>div {
            height: 100%;
        }
    }
}

.title-span {
    white-space: nowrap;
}