Fossil SCM

fossil-scm / src / style.pikchrshow.css
Blame History Raw 179 lines
1
/* CSS for the WASM /pikchrshow app. */
2
/* emcscript-related styling, used during the module load/initialization processes... */
3
.emscripten { padding-right: 0; margin-left: auto; margin-right: auto; display: block; }
4
div.emscripten { text-align: center; }
5
div.emscripten_border { border: 1px solid black; }
6
#module-spinner { overflow: visible; }
7
#module-spinner > * {
8
margin-top: 1em;
9
}
10
.spinner {
11
height: 50px;
12
width: 50px;
13
margin: 0px auto;
14
animation: rotation 0.8s linear infinite;
15
border-left: 10px solid rgb(0,150,240);
16
border-right: 10px solid rgb(0,150,240);
17
border-bottom: 10px solid rgb(0,150,240);
18
border-top: 10px solid rgb(100,0,200);
19
border-radius: 100%;
20
background-color: rgb(200,100,250);
21
}
22
@keyframes rotation {
23
from {transform: rotate(0deg);}
24
to {transform: rotate(360deg);}
25
}
26
27
/* The following styles are for app-level use. */
28
/* TODO: consolidate the WASM- and legacy-mode CSS into this file.
29
Since both versions of /pikchrshow share a URI, they both load this
30
file. */
31
textarea {
32
font-family: monospace;
33
flex: 1 1 auto;
34
}
35
#main-wrapper {
36
display: flex;
37
flex-direction: column-reverse;
38
flex: 1 1 auto;
39
margin: 0.5em 0;
40
overflow: hidden;
41
}
42
#main-wrapper.side-by-side {
43
flex-direction: row;
44
}
45
#main-wrapper.side-by-side > fieldset {
46
margin-left: 0.25em;
47
margin-right: 0.25em;
48
}
49
#main-wrapper:not(.side-by-side) > fieldset {
50
margin-bottom: 0.25em;
51
}
52
#main-wrapper.swapio {
53
flex-direction: column;
54
}
55
#main-wrapper.side-by-side.swapio {
56
flex-direction: row-reverse;
57
}
58
.zone-wrapper{
59
display: flex;
60
margin: 0;
61
flex: 1 1 0%;
62
border-radius: 0.5em;
63
min-width: inherit/*important: resolves inability to scroll fieldset child element!*/;
64
padding: 0.35em 0 0 0;
65
}
66
.zone-wrapper > div {
67
display:flex;
68
flex: 1 1 0%;
69
}
70
.zone-wrapper.output {
71
}
72
#main-wrapper.side-by-side .zone-wrapper {
73
/* Keep the layout from "flopping around" when
74
render-while-typing mode is on. */
75
/*max-width: 50%;*/
76
}
77
#pikchr-output {
78
padding: 0;
79
margin: 0 auto/*auto resolves a weird left-shift truncation of the SVG*/;
80
}
81
#pikchr-output-wrapper {
82
flex: 1 1 auto;
83
overflow: auto;
84
}
85
#pikchr-output-wrapper.text {
86
display: flex;
87
align-items: stretch;
88
}
89
#pikchr-output-wrapper.text > #pikchr-output {
90
display: flex;
91
align-items: stretch;
92
flex: 1 1 auto;
93
}
94
#pikchr-output-wrapper.text > #pikchr-output > textarea {
95
flex: 1 1 auto;
96
}
97
fieldset > legend {
98
font-size: 85%;
99
}
100
.zone-wrapper textarea {
101
border-radius: 0.5em;
102
flex: 1 1 auto;
103
/*min/max width resolve an inexplicable margin on the RHS. The -1em
104
is for the padding, else we overlap the parent boundaries.*/
105
min-width: calc(100% - 1em);
106
max-width: calc(100% - 1em);
107
padding: 0 0.5em;
108
}
109
.zone-wrapper.input {
110
min-height: 10em;
111
/*width: 50%;*/
112
min-width: 20em;
113
}
114
.zone-wrapper textarea {
115
border: 0;
116
outline: 0;
117
}
118
.zone-wrapper.output {
119
overflow: auto;
120
justify-content: space-between;
121
}
122
.button-bar {
123
display: flex;
124
flex-wrap: wrap;
125
align-items: center;
126
align-content: space-between;
127
justify-content: flex-start;
128
}
129
.button-bar > * {
130
margin: 0.05em 0.5em 0.05em 0;
131
flex: 0 1 auto;
132
align-self: auto;
133
}
134
fieldset.options {
135
border-radius: 0.5em;
136
border: 1px inset;
137
display: flex;
138
flex-direction: column;
139
padding: 0.25em;
140
}
141
fieldset.options > div {
142
display: flex;
143
flex-wrap: wrap;
144
font-size: 85%;
145
}
146
fieldset.collapsible.options > legend > .fieldset-toggle::after {
147
content: " [hide]";
148
position: relative;
149
}
150
fieldset.collapsible.collapsed > legend > .fieldset-toggle::after {
151
content: " [show]";
152
position: relative;
153
}
154
span.labeled-input {
155
padding: 0.25em;
156
margin: 0.25em 0.5em;
157
border-radius: 0.25em;
158
white-space: nowrap;
159
background: #0002;
160
display: flex;
161
align-items: center;
162
}
163
span.labeled-input > *:nth-child(2) {
164
margin-left: 0.3em;
165
}
166
.center { text-align: center; }
167
.app-view {
168
flex: 20 1 auto;
169
}
170
#titlebar {
171
display: flex;
172
justify-content: space-between;
173
margin-bottom: 0.5em;
174
}
175
#view-split {
176
display: flex;
177
flex-direction: column-reverse;
178
}
179

Keyboard Shortcuts

Open search /
Next entry (timeline) j
Previous entry (timeline) k
Open focused entry Enter
Show this help ?
Toggle theme Top nav button