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

.Navigation {
  position: sticky;
  top: 0;
  height: var(--header-height);
  display: flex;
  flex-direction: row;
  column-gap: var(--gap-1);
  align-items: center;
  padding: 0 var(--gap-1);

  background-color: var(--col-fg-0);
  color: var(--col-bg-0);

  box-shadow: 0 2px 4px rgba(0, 0, 0, 0.25);
}

.nav_children {
  flex: 1;
  width: 100%;
  display: flex;
  flex-direction: row;
  column-gap: var(--gap-1);
  align-items: center;
  justify-content: flex-end;
}