plottery_editor 0.7.2

Graphical Editor of Plottery, a creative coding framework for generative vector graphics and pen plotting.
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

.Console {
    background-color: var(--col-bg-1);
    overflow: scroll;
    height: 100% !important;
    min-width: 400px !important;
    padding: var(--gap-0) !important;
    box-sizing: border-box;

    display: flex;
    flex-direction: column-reverse;
}

.Console p {
    white-space: pre-wrap;
    font-family: monospace !important;
}

.error {
    color: red;
}
.info {
    color: var(--col-fg-0);
}
.project_log {
    color: yellowgreen;
}