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

ul.remotes-list {
    position: absolute;
    right: 0;
    top: 25px;
    z-index: 1000;

    list-style: none;
    margin: 0;
    padding: 0;
    --padding: 5px;

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

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

        padding: var(--padding);
        margin: 0px;
        white-space: nowrap;
    }
}