plottery_editor 0.7.0

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
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42

.ProjectAdd {
  flex: 1;
  display: flex;
  flex-direction: column;
  row-gap: var(--gap-2);
  align-items: center;
  justify-content: center;
  background-color: var(--col-bg-0);
}

.project_add_content {
  display: flex;
  flex-direction: column;
  padding: var(--gap-1);
  row-gap: var(--gap-1);
  pad: var(--gap-1);
  background-color: var(--col-bg-2);
  border-radius: var(--border-radius);
}

.segmented_button {
  display: flex;
  flex-direction: row;
}
.segmented_button_item {
  padding: var(--gap-1) var(--gap-3);
  border-radius: 0;
  background-color: var(--col-bg-2);
  color: var(--col-fg-1);
}
.segmented_button_item_selected {
  background-color: var(--col-selected);
  color: var(--col-fg-0);
}
.segmented_button_item:first-child {
  border-top-left-radius: var(--border-radius);
  border-bottom-left-radius: var(--border-radius);
}
.segmented_button_item:last-child {
  border-top-right-radius: var(--border-radius);
  border-bottom-right-radius: var(--border-radius);
}