-
Notifications
You must be signed in to change notification settings - Fork 0
/
main.css
85 lines (84 loc) · 2.58 KB
/
main.css
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
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
/* src/components/codeblock/styles.css */
.StyleObsidianLoFBlockErrorMessage {
color: red;
margin: 1em;
font-size: 50%;
}
.StyleObsidianLoFExpressionLine {
margin: 1em;
display: flex;
align-items: baseline;
flex-direction: row;
flex-wrap: wrap;
}
.StyleObsidianLoFUninterpretedText {
white-space: pre;
}
/* node_modules/laws-of-form-react/dist/style.css */
.cross {
--cross-stroke-width: 0.2em;
font-size: inherit;
position: relative;
border-style: solid;
border-width: 0;
border-top-width: var(--cross-stroke-width);
border-right-width: var(--cross-stroke-width);
margin-top: calc(2*var(--cross-stroke-width));
margin-right: calc(2*var(--cross-stroke-width));
padding-right: calc(3*var(--cross-stroke-width));
display: inline-block;
width: fit-content;
height: fit-content;
min-width: calc(2*var(--cross-stroke-width));
min-height: calc(1em + 2*var(--cross-stroke-width));
}
.cross:empty::before {
content: "\200b";
padding-right: calc(2*var(--cross-stroke-width));
}
.cross:not(:has(>.cross)) {
padding-left: calc(2*var(--cross-stroke-width));
}
.reentry {
--reentry-translateY: none;
--reentry-content-before: "\200b";
--reentry-width-before: 0px;
--reentry-height-before: 0px;
--reentry-visibility-before: hidden;
--reentry-transform-before: none;
--reentry-content-after: "\200b";
--reentry-width-after: 0px;
--reentry-height-after: 0px;
--reentry-visibility-after: hidden;
--reentry-transform-after: none;
}
.reentry::after {
position: absolute;
right: calc(-1*var(--cross-stroke-width));
bottom: calc(-1*var(--reentry-height-after) + 3*var(--cross-stroke-width));
content: " ";
visibility: var(--reentry-visibility-after);
width: var(--reentry-width-after);
height: calc(var(--reentry-height-after));
border-bottom: var(--cross-stroke-width) solid black;
border-left: var(--cross-stroke-width) solid black;
border-right: var(--cross-stroke-width) solid black;
border-color: inherit;
display: inline-block;
transform: var(--reentry-transform-after);
}
.reentry::before {
position: absolute;
right: calc(-1*var(--cross-stroke-width));
bottom: calc(-1*var(--reentry-height-before) + 3*var(--cross-stroke-width));
content: " ";
visibility: var(--reentry-visibility-before);
width: var(--reentry-width-before);
height: calc(var(--reentry-height-before));
border-bottom: var(--cross-stroke-width) solid black;
border-left: var(--cross-stroke-width) solid black;
border-right: var(--cross-stroke-width) solid black;
border-color: inherit;
display: inline-block;
transform: var(--reentry-transform-before);
}