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

.resize-bar-horz {
    position: relative;

    width: 0;
    height: 100%;
    z-index: 100;

    >div {
        --padding: 3px;
        --width: 5px;
        position: absolute;
        padding-left: var(--padding);
        padding-right: var(--padding);
        height: 100%;
        left: calc(-1 * var(--padding));
        cursor: col-resize;

        >div {
            position: absolute;
            width: 0;
            height: 100%;
            left: 50%;
            transform: translateX(-50%) scaleX(1);
            transform-origin: center;
            transition-duration: 0.2s;
        }

        &:hover>div {
            width: var(--width);
            background-color: var(--color);
        }
    }
}

.resize-bar-vert {
    position: relative;

    height: 0;
    width: 100%;
    z-index: 100;

    >div {
        --padding: 3px;
        --height: 5px;
        position: absolute;
        padding-top: var(--padding);
        padding-bottom: var(--padding);
        width: 100%;
        top: calc(-1 * var(--padding));
        cursor: row-resize;

        >div {
            position: absolute;
            height: 0;
            width: 100%;
            top: 50%;
            transform: translateY(-50%) scaleY(1);
            transform-origin: center;
            transition-duration: 0.2s;
        }

        &:hover>div {
            height: var(--height);
            background-color: var(--color);
        }
    }
}