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

div.remotes {
    position: relative;
    padding-right: var(--padding);
    margin-left: auto;

    div.show-current {
        white-space: nowrap;
    }

    .current {
        position: relative;

        &::before {
            content: '';
            position: absolute;
            top: 0;
            left: 0;
            right: 0;
            bottom: 0;
            background: var(--link-color);
            opacity: 0.4;
            z-index: -1;
        }
    }
}