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
43
44
45
46

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

.grey_text {
  color: var(--col-fg-1);
}
.project-not-found {
  background-color: var(--col-err);
}

.preview {
  height: 130px;
  background-color: var(--col-fg-0);
  border-radius: var(--border-radius);
  padding: var(--gap-1);
}

.summary {
  padding: var(--gap-1);
  display: flex;
  flex-direction: column;
  row-gap: var(--gap-0);
}

.actions {
  padding: var(--gap-1);
  margin-left: auto;
  display: flex;
  flex-direction: column;
  row-gap: var(--gap-0);
}
.actions button {
  background-color: var(--col-fg-1);
}
.delete_button {
  margin-bottom: auto;
  background-color: transparent !important;
}