voting_schemes-electionguard 0.24.2 → 0.24.4
Sign up to get free protection for your applications and to get access to all the features.
- checksums.yaml +4 -4
- data/.rubocop.yml +1 -1
- data/Gemfile.lock +100 -68
- data/app/assets/javascripts/voting_schemes/electionguard/electionguard.js +1 -1
- data/lib/voting_schemes/electionguard/version.rb +1 -1
- data/public/assets/electionguard/attrs.data +0 -0
- data/public/assets/electionguard/attrs.js +1 -1
- data/public/assets/electionguard/bulletin_board-electionguard.data +0 -0
- data/public/assets/electionguard/bulletin_board-electionguard.js +1 -1
- data/public/assets/electionguard/console.html +89 -61
- data/public/assets/electionguard/electionguard.js +1 -1
- data/public/assets/electionguard/gmpy2.data +0 -0
- data/public/assets/electionguard/gmpy2.js +1 -1
- data/public/assets/electionguard/hypothesis.js +1 -1
- data/public/assets/electionguard/jsons.js +1 -1
- data/public/assets/electionguard/micropip.data +0 -0
- data/public/assets/electionguard/micropip.js +1 -1
- data/public/assets/electionguard/packages.json +1 -1
- data/public/assets/electionguard/packaging.data +0 -0
- data/public/assets/electionguard/packaging.js +1 -0
- data/public/assets/electionguard/pyasn1.js +1 -1
- data/public/assets/electionguard/pyodide.asm.data +0 -0
- data/public/assets/electionguard/pyodide.asm.js +11 -11
- data/public/assets/electionguard/pyodide.asm.wasm +0 -0
- data/public/assets/electionguard/pyodide.js +781 -333
- data/public/assets/electionguard/pyparsing.data +0 -0
- data/public/assets/electionguard/pyparsing.js +1 -0
- data/public/assets/electionguard/rsa.js +1 -1
- data/public/assets/electionguard/six.data +0 -0
- data/public/assets/electionguard/six.js +1 -0
- data/public/assets/electionguard/sortedcontainers.js +1 -1
- data/public/assets/electionguard/test.data +0 -0
- data/public/assets/electionguard/test.html +21 -24
- data/public/assets/electionguard/test.js +1 -1
- data/public/assets/electionguard/typish.js +1 -1
- data/public/assets/electionguard/webworker.js +29 -21
- data/public/assets/electionguard/webworker_dev.js +14 -14
- metadata +8 -6
- data/public/assets/electionguard/distlib.data +0 -0
- data/public/assets/electionguard/distlib.js +0 -1
- data/public/assets/electionguard/pyodide.asm.data.js +0 -1
- data/public/assets/electionguard/renderedhtml.css +0 -209
@@ -1,209 +0,0 @@
|
|
1
|
-
.rendered_html {
|
2
|
-
overflow: auto;
|
3
|
-
max-height: 30em;
|
4
|
-
color: black;
|
5
|
-
/* any extras will just be numbers: */
|
6
|
-
}
|
7
|
-
.rendered_html em {
|
8
|
-
font-style: italic;
|
9
|
-
}
|
10
|
-
.rendered_html strong {
|
11
|
-
font-weight: bold;
|
12
|
-
}
|
13
|
-
.rendered_html u {
|
14
|
-
text-decoration: underline;
|
15
|
-
}
|
16
|
-
.rendered_html :link {
|
17
|
-
text-decoration: underline;
|
18
|
-
}
|
19
|
-
.rendered_html :visited {
|
20
|
-
text-decoration: underline;
|
21
|
-
}
|
22
|
-
.rendered_html h1 {
|
23
|
-
font-size: 185.7%;
|
24
|
-
margin: 1.08em 0 0 0;
|
25
|
-
font-weight: bold;
|
26
|
-
line-height: 1.0;
|
27
|
-
}
|
28
|
-
.rendered_html h2 {
|
29
|
-
font-size: 157.1%;
|
30
|
-
margin: 1.27em 0 0 0;
|
31
|
-
font-weight: bold;
|
32
|
-
line-height: 1.0;
|
33
|
-
}
|
34
|
-
.rendered_html h3 {
|
35
|
-
font-size: 128.6%;
|
36
|
-
margin: 1.55em 0 0 0;
|
37
|
-
font-weight: bold;
|
38
|
-
line-height: 1.0;
|
39
|
-
}
|
40
|
-
.rendered_html h4 {
|
41
|
-
font-size: 100%;
|
42
|
-
margin: 2em 0 0 0;
|
43
|
-
font-weight: bold;
|
44
|
-
line-height: 1.0;
|
45
|
-
}
|
46
|
-
.rendered_html h5 {
|
47
|
-
font-size: 100%;
|
48
|
-
margin: 2em 0 0 0;
|
49
|
-
font-weight: bold;
|
50
|
-
line-height: 1.0;
|
51
|
-
font-style: italic;
|
52
|
-
}
|
53
|
-
.rendered_html h6 {
|
54
|
-
font-size: 100%;
|
55
|
-
margin: 2em 0 0 0;
|
56
|
-
font-weight: bold;
|
57
|
-
line-height: 1.0;
|
58
|
-
font-style: italic;
|
59
|
-
}
|
60
|
-
.rendered_html h1:first-child {
|
61
|
-
margin-top: 0.538em;
|
62
|
-
}
|
63
|
-
.rendered_html h2:first-child {
|
64
|
-
margin-top: 0.636em;
|
65
|
-
}
|
66
|
-
.rendered_html h3:first-child {
|
67
|
-
margin-top: 0.777em;
|
68
|
-
}
|
69
|
-
.rendered_html h4:first-child {
|
70
|
-
margin-top: 1em;
|
71
|
-
}
|
72
|
-
.rendered_html h5:first-child {
|
73
|
-
margin-top: 1em;
|
74
|
-
}
|
75
|
-
.rendered_html h6:first-child {
|
76
|
-
margin-top: 1em;
|
77
|
-
}
|
78
|
-
.rendered_html ul:not(.list-inline),
|
79
|
-
.rendered_html ol:not(.list-inline) {
|
80
|
-
padding-left: 2em;
|
81
|
-
}
|
82
|
-
.rendered_html ul {
|
83
|
-
list-style: disc;
|
84
|
-
}
|
85
|
-
.rendered_html ul ul {
|
86
|
-
list-style: square;
|
87
|
-
margin-top: 0;
|
88
|
-
}
|
89
|
-
.rendered_html ul ul ul {
|
90
|
-
list-style: circle;
|
91
|
-
}
|
92
|
-
.rendered_html ol {
|
93
|
-
list-style: decimal;
|
94
|
-
}
|
95
|
-
.rendered_html ol ol {
|
96
|
-
list-style: upper-alpha;
|
97
|
-
margin-top: 0;
|
98
|
-
}
|
99
|
-
.rendered_html ol ol ol {
|
100
|
-
list-style: lower-alpha;
|
101
|
-
}
|
102
|
-
.rendered_html ol ol ol ol {
|
103
|
-
list-style: lower-roman;
|
104
|
-
}
|
105
|
-
.rendered_html ol ol ol ol ol {
|
106
|
-
list-style: decimal;
|
107
|
-
}
|
108
|
-
.rendered_html * + ul {
|
109
|
-
margin-top: 1em;
|
110
|
-
}
|
111
|
-
.rendered_html * + ol {
|
112
|
-
margin-top: 1em;
|
113
|
-
}
|
114
|
-
.rendered_html hr {
|
115
|
-
color: black;
|
116
|
-
background-color: black;
|
117
|
-
}
|
118
|
-
.rendered_html pre {
|
119
|
-
margin: 1em 2em;
|
120
|
-
padding: 0px;
|
121
|
-
background-color: white;
|
122
|
-
}
|
123
|
-
.rendered_html code {
|
124
|
-
background-color: #eff0f1;
|
125
|
-
}
|
126
|
-
.rendered_html p code {
|
127
|
-
padding: 1px 5px;
|
128
|
-
}
|
129
|
-
.rendered_html pre code {
|
130
|
-
background-color: white;
|
131
|
-
}
|
132
|
-
.rendered_html pre,
|
133
|
-
.rendered_html code {
|
134
|
-
border: 0;
|
135
|
-
color: black;
|
136
|
-
font-size: 100%;
|
137
|
-
}
|
138
|
-
.rendered_html blockquote {
|
139
|
-
margin: 1em 2em;
|
140
|
-
}
|
141
|
-
.rendered_html table {
|
142
|
-
margin-left: auto;
|
143
|
-
margin-right: auto;
|
144
|
-
border: none;
|
145
|
-
border-collapse: collapse;
|
146
|
-
border-spacing: 0;
|
147
|
-
color: black;
|
148
|
-
font-size: 12px;
|
149
|
-
table-layout: fixed;
|
150
|
-
}
|
151
|
-
.rendered_html thead {
|
152
|
-
border-bottom: 1px solid black;
|
153
|
-
vertical-align: bottom;
|
154
|
-
}
|
155
|
-
.rendered_html tr,
|
156
|
-
.rendered_html th,
|
157
|
-
.rendered_html td {
|
158
|
-
text-align: right;
|
159
|
-
vertical-align: middle;
|
160
|
-
padding: 0.5em 0.5em;
|
161
|
-
line-height: normal;
|
162
|
-
white-space: normal;
|
163
|
-
max-width: none;
|
164
|
-
border: none;
|
165
|
-
}
|
166
|
-
.rendered_html th {
|
167
|
-
font-weight: bold;
|
168
|
-
}
|
169
|
-
.rendered_html tbody tr:nth-child(odd) {
|
170
|
-
background: #f5f5f5;
|
171
|
-
}
|
172
|
-
.rendered_html tbody tr:hover {
|
173
|
-
background: rgba(66, 165, 245, 0.2);
|
174
|
-
}
|
175
|
-
.rendered_html * + table {
|
176
|
-
margin-top: 1em;
|
177
|
-
}
|
178
|
-
.rendered_html p {
|
179
|
-
text-align: left;
|
180
|
-
}
|
181
|
-
.rendered_html * + p {
|
182
|
-
margin-top: 1em;
|
183
|
-
}
|
184
|
-
.rendered_html img {
|
185
|
-
display: block;
|
186
|
-
margin-left: auto;
|
187
|
-
margin-right: auto;
|
188
|
-
}
|
189
|
-
.rendered_html * + img {
|
190
|
-
margin-top: 1em;
|
191
|
-
}
|
192
|
-
.rendered_html img,
|
193
|
-
.rendered_html svg {
|
194
|
-
max-width: 100%;
|
195
|
-
height: auto;
|
196
|
-
}
|
197
|
-
.rendered_html img.unconfined,
|
198
|
-
.rendered_html svg.unconfined {
|
199
|
-
max-width: none;
|
200
|
-
}
|
201
|
-
.rendered_html .alert {
|
202
|
-
margin-bottom: initial;
|
203
|
-
}
|
204
|
-
.rendered_html * + .alert {
|
205
|
-
margin-top: 1em;
|
206
|
-
}
|
207
|
-
[dir="rtl"] .rendered_html p {
|
208
|
-
text-align: right;
|
209
|
-
}
|