react-ocl/src/components/svg/svg_editor.css.ts at c1e06c4f9721dbbc1a25f8ed5f5bc0d7272f2609 · zakodium-oss/react-ocl · GitHub

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
47
48
49
50
51
52
53
54
55
export const greekLetters = {
  alpha: 'α',
  beta: 'β',
  gamma: 'γ',
  delta: 'δ',
  epsilon: 'ε',
  zeta: 'ζ',
  eta: 'η',
  theta: 'θ',
} as const;
const greekLetterNames = Object.keys(greekLetters);
const greeksFirstLine = greekLetterNames.slice(0, 6);
const greeksLastLine = greekLetterNames.slice(6);

export const primes = {
  prime1: '′',
  prime2: '″',
  prime3: '‴',
};
const primeNames = Object.keys(primes);

export const atomLabelEditCss = `
form.react-ocl-atom-label-edit {
  position: absolute;
  z-index: 1;
  display: grid;
  grid-template-columns: repeat(4, 1.5em);
  grid-template-areas:
    "input input input input submit cancel"
    "${greeksFirstLine.join(' ')}"
    "${greeksLastLine.join(' ')} . ${primeNames.join(' ')}";
  align-items: stretch;
  gap: 0.25em;
  border: 1px solid lightgray;
  background-color: white;
  padding: 0.25em;
}

form.react-ocl-atom-label-edit button.react-ocl {
  padding: 0.25em;
  background-color: #efefef;
  border: none;
  border-radius: 5px;
}

form.react-ocl-atom-label-edit input.react-ocl {
  padding: 0.25em;
  border: solid 1px lightgrey;
  border-radius: 3px;
}

form.react-ocl-atom-label-edit input.react-ocl:focus {
  outline: auto;
}
`;