voting_schemes-electionguard 0.24.2 → 0.24.3

Sign up to get free protection for your applications and to get access to all the features.
Files changed (42) hide show
  1. checksums.yaml +4 -4
  2. data/.rubocop.yml +1 -1
  3. data/Gemfile.lock +1 -1
  4. data/app/assets/javascripts/voting_schemes/electionguard/electionguard.js +1 -1
  5. data/lib/voting_schemes/electionguard/version.rb +1 -1
  6. data/public/assets/electionguard/attrs.data +0 -0
  7. data/public/assets/electionguard/attrs.js +1 -1
  8. data/public/assets/electionguard/bulletin_board-electionguard.data +0 -0
  9. data/public/assets/electionguard/bulletin_board-electionguard.js +1 -1
  10. data/public/assets/electionguard/console.html +89 -61
  11. data/public/assets/electionguard/electionguard.js +1 -1
  12. data/public/assets/electionguard/gmpy2.data +0 -0
  13. data/public/assets/electionguard/gmpy2.js +1 -1
  14. data/public/assets/electionguard/hypothesis.js +1 -1
  15. data/public/assets/electionguard/jsons.js +1 -1
  16. data/public/assets/electionguard/micropip.data +0 -0
  17. data/public/assets/electionguard/micropip.js +1 -1
  18. data/public/assets/electionguard/packages.json +1 -1
  19. data/public/assets/electionguard/packaging.data +0 -0
  20. data/public/assets/electionguard/packaging.js +1 -0
  21. data/public/assets/electionguard/pyasn1.js +1 -1
  22. data/public/assets/electionguard/pyodide.asm.data +0 -0
  23. data/public/assets/electionguard/pyodide.asm.js +11 -11
  24. data/public/assets/electionguard/pyodide.asm.wasm +0 -0
  25. data/public/assets/electionguard/pyodide.js +781 -333
  26. data/public/assets/electionguard/pyparsing.data +0 -0
  27. data/public/assets/electionguard/pyparsing.js +1 -0
  28. data/public/assets/electionguard/rsa.js +1 -1
  29. data/public/assets/electionguard/six.data +0 -0
  30. data/public/assets/electionguard/six.js +1 -0
  31. data/public/assets/electionguard/sortedcontainers.js +1 -1
  32. data/public/assets/electionguard/test.data +0 -0
  33. data/public/assets/electionguard/test.html +21 -24
  34. data/public/assets/electionguard/test.js +1 -1
  35. data/public/assets/electionguard/typish.js +1 -1
  36. data/public/assets/electionguard/webworker.js +29 -21
  37. data/public/assets/electionguard/webworker_dev.js +14 -14
  38. metadata +8 -6
  39. data/public/assets/electionguard/distlib.data +0 -0
  40. data/public/assets/electionguard/distlib.js +0 -1
  41. data/public/assets/electionguard/pyodide.asm.data.js +0 -1
  42. 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
- }