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

.label {
    margin-left: auto;
    padding-left: var(--padding);
    padding-right: var(--padding);

    &:hover {
        background-color: var(--link-color);
        cursor: pointer;
    }

    >div {
        @include trz-header;

        img.copy-icon {
            @include trz-icon;
            margin-right: var(--padding);
        }
    }
}