Skip to content

Commit 1b2f258

Browse files
bkasebkase
committed
zk endgame
1 parent ae52520 commit 1b2f258

File tree

188 files changed

+24384
-0
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

188 files changed

+24384
-0
lines changed

‎unlocking-zk-endgame/.gitignore

+4
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
trees.aux
2+
trees.log
3+
trees.pdf
4+

‎unlocking-zk-endgame/bib.md

+1
Original file line numberDiff line numberDiff line change
@@ -0,0 +1 @@
1+

‎unlocking-zk-endgame/compress1.png

78.7 KB
Loading

‎unlocking-zk-endgame/compress2.png

74.4 KB
Loading

‎unlocking-zk-endgame/css/.sass-cache/02304b2087efd31dfd35a6628689ac65944b99cc/o1.scssc

57 KB
Binary file not shown.

‎unlocking-zk-endgame/css/.sass-cache/22ac51b6df56f1ef01dbe8c3eb4ef02dd8cdc6da/mixins.scssc

22.3 KB
Binary file not shown.

‎unlocking-zk-endgame/css/.sass-cache/22ac51b6df56f1ef01dbe8c3eb4ef02dd8cdc6da/settings.scssc

8.39 KB
Binary file not shown.

‎unlocking-zk-endgame/css/.sass-cache/22ac51b6df56f1ef01dbe8c3eb4ef02dd8cdc6da/theme.scssc

76.1 KB
Binary file not shown.

‎unlocking-zk-endgame/css/print/paper.css

+202
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,202 @@
1+
/* Default Print Stylesheet Template
2+
by Rob Glazebrook of CSSnewbie.com
3+
Last Updated: June 4, 2008
4+
5+
Feel free (nay, compelled) to edit, append, and
6+
manipulate this file as you see fit. */
7+
8+
9+
@media print {
10+
11+
/* SECTION 1: Set default width, margin, float, and
12+
background. This prevents elements from extending
13+
beyond the edge of the printed page, and prevents
14+
unnecessary background images from printing */
15+
html {
16+
background: #fff;
17+
width: auto;
18+
height: auto;
19+
overflow: visible;
20+
}
21+
body {
22+
background: #fff;
23+
font-size: 20pt;
24+
width: auto;
25+
height: auto;
26+
border: 0;
27+
margin: 0 5%;
28+
padding: 0;
29+
overflow: visible;
30+
float: none !important;
31+
}
32+
33+
/* SECTION 2: Remove any elements not needed in print.
34+
This would include navigation, ads, sidebars, etc. */
35+
.nestedarrow,
36+
.controls,
37+
.fork-reveal,
38+
.share-reveal,
39+
.state-background,
40+
.reveal .progress,
41+
.reveal .backgrounds {
42+
display: none !important;
43+
}
44+
45+
/* SECTION 3: Set body font face, size, and color.
46+
Consider using a serif font for readability. */
47+
body, p, td, li, div {
48+
font-size: 20pt!important;
49+
font-family: Georgia, "Times New Roman", Times, serif !important;
50+
color: #000;
51+
}
52+
53+
/* SECTION 4: Set heading font face, sizes, and color.
54+
Differentiate your headings from your body text.
55+
Perhaps use a large sans-serif for distinction. */
56+
h1,h2,h3,h4,h5,h6 {
57+
color: #000!important;
58+
height: auto;
59+
line-height: normal;
60+
font-family: Georgia, "Times New Roman", Times, serif !important;
61+
text-shadow: 0 0 0 #000 !important;
62+
text-align: left;
63+
letter-spacing: normal;
64+
}
65+
/* Need to reduce the size of the fonts for printing */
66+
h1 { font-size: 28pt !important; }
67+
h2 { font-size: 24pt !important; }
68+
h3 { font-size: 22pt !important; }
69+
h4 { font-size: 22pt !important; font-variant: small-caps; }
70+
h5 { font-size: 21pt !important; }
71+
h6 { font-size: 20pt !important; font-style: italic; }
72+
73+
/* SECTION 5: Make hyperlinks more usable.
74+
Ensure links are underlined, and consider appending
75+
the URL to the end of the link for usability. */
76+
a:link,
77+
a:visited {
78+
color: #000 !important;
79+
font-weight: bold;
80+
text-decoration: underline;
81+
}
82+
/*
83+
.reveal a:link:after,
84+
.reveal a:visited:after {
85+
content: " (" attr(href) ") ";
86+
color: #222 !important;
87+
font-size: 90%;
88+
}
89+
*/
90+
91+
92+
/* SECTION 6: more reveal.js specific additions by @skypanther */
93+
ul, ol, div, p {
94+
visibility: visible;
95+
position: static;
96+
width: auto;
97+
height: auto;
98+
display: block;
99+
overflow: visible;
100+
margin: 0;
101+
text-align: left !important;
102+
}
103+
.reveal pre,
104+
.reveal table {
105+
margin-left: 0;
106+
margin-right: 0;
107+
}
108+
.reveal pre code {
109+
padding: 20px;
110+
border: 1px solid #ddd;
111+
}
112+
.reveal blockquote {
113+
margin: 20px 0;
114+
}
115+
.reveal .slides {
116+
position: static !important;
117+
width: auto !important;
118+
height: auto !important;
119+
120+
left: 0 !important;
121+
top: 0 !important;
122+
margin-left: 0 !important;
123+
margin-top: 0 !important;
124+
padding: 0 !important;
125+
zoom: 1 !important;
126+
127+
overflow: visible !important;
128+
display: block !important;
129+
130+
text-align: left !important;
131+
-webkit-perspective: none;
132+
-moz-perspective: none;
133+
-ms-perspective: none;
134+
perspective: none;
135+
136+
-webkit-perspective-origin: 50% 50%;
137+
-moz-perspective-origin: 50% 50%;
138+
-ms-perspective-origin: 50% 50%;
139+
perspective-origin: 50% 50%;
140+
}
141+
.reveal .slides section {
142+
visibility: visible !important;
143+
position: static !important;
144+
width: auto !important;
145+
height: auto !important;
146+
display: block !important;
147+
overflow: visible !important;
148+
149+
left: 0 !important;
150+
top: 0 !important;
151+
margin-left: 0 !important;
152+
margin-top: 0 !important;
153+
padding: 60px 20px !important;
154+
z-index: auto !important;
155+
156+
opacity: 1 !important;
157+
158+
page-break-after: always !important;
159+
160+
-webkit-transform-style: flat !important;
161+
-moz-transform-style: flat !important;
162+
-ms-transform-style: flat !important;
163+
transform-style: flat !important;
164+
165+
-webkit-transform: none !important;
166+
-moz-transform: none !important;
167+
-ms-transform: none !important;
168+
transform: none !important;
169+
170+
-webkit-transition: none !important;
171+
-moz-transition: none !important;
172+
-ms-transition: none !important;
173+
transition: none !important;
174+
}
175+
.reveal .slides section.stack {
176+
padding: 0 !important;
177+
}
178+
.reveal section:last-of-type {
179+
page-break-after: avoid !important;
180+
}
181+
.reveal section .fragment {
182+
opacity: 1 !important;
183+
visibility: visible !important;
184+
185+
-webkit-transform: none !important;
186+
-moz-transform: none !important;
187+
-ms-transform: none !important;
188+
transform: none !important;
189+
}
190+
.reveal section img {
191+
display: block;
192+
margin: 15px 0px;
193+
background: rgba(255,255,255,1);
194+
border: 1px solid #666;
195+
box-shadow: none;
196+
}
197+
198+
.reveal section small {
199+
font-size: 0.8em;
200+
}
201+
202+
}

‎unlocking-zk-endgame/css/print/pdf.css

+160
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,160 @@
1+
/**
2+
* This stylesheet is used to print reveal.js
3+
* presentations to PDF.
4+
*
5+
* https://github.com/hakimel/reveal.js#pdf-export
6+
*/
7+
8+
* {
9+
-webkit-print-color-adjust: exact;
10+
}
11+
12+
body {
13+
margin: 0 auto !important;
14+
border: 0;
15+
padding: 0;
16+
float: none !important;
17+
overflow: visible;
18+
}
19+
20+
html {
21+
width: 100%;
22+
height: 100%;
23+
overflow: visible;
24+
}
25+
26+
/* Remove any elements not needed in print. */
27+
.nestedarrow,
28+
.reveal .controls,
29+
.reveal .progress,
30+
.reveal .playback,
31+
.reveal.overview,
32+
.fork-reveal,
33+
.share-reveal,
34+
.state-background {
35+
display: none !important;
36+
}
37+
38+
h1, h2, h3, h4, h5, h6 {
39+
text-shadow: 0 0 0 #000 !important;
40+
}
41+
42+
.reveal pre code {
43+
overflow: hidden !important;
44+
font-family: Courier, 'Courier New', monospace !important;
45+
}
46+
47+
ul, ol, div, p {
48+
visibility: visible;
49+
position: static;
50+
width: auto;
51+
height: auto;
52+
display: block;
53+
overflow: visible;
54+
margin: auto;
55+
}
56+
.reveal {
57+
width: auto !important;
58+
height: auto !important;
59+
overflow: hidden !important;
60+
}
61+
.reveal .slides {
62+
position: static;
63+
width: 100%;
64+
height: auto;
65+
66+
left: auto;
67+
top: auto;
68+
margin: 0 !important;
69+
padding: 0 !important;
70+
71+
overflow: visible;
72+
display: block;
73+
74+
-webkit-perspective: none;
75+
-moz-perspective: none;
76+
-ms-perspective: none;
77+
perspective: none;
78+
79+
-webkit-perspective-origin: 50% 50%; /* there isn't a none/auto value but 50-50 is the default */
80+
-moz-perspective-origin: 50% 50%;
81+
-ms-perspective-origin: 50% 50%;
82+
perspective-origin: 50% 50%;
83+
}
84+
85+
.reveal .slides section {
86+
page-break-after: always !important;
87+
88+
visibility: visible !important;
89+
position: relative !important;
90+
display: block !important;
91+
position: relative !important;
92+
93+
margin: 0 !important;
94+
padding: 0 !important;
95+
box-sizing: border-box !important;
96+
min-height: 1px;
97+
98+
opacity: 1 !important;
99+
100+
-webkit-transform-style: flat !important;
101+
-moz-transform-style: flat !important;
102+
-ms-transform-style: flat !important;
103+
transform-style: flat !important;
104+
105+
-webkit-transform: none !important;
106+
-moz-transform: none !important;
107+
-ms-transform: none !important;
108+
transform: none !important;
109+
}
110+
111+
.reveal section.stack {
112+
margin: 0 !important;
113+
padding: 0 !important;
114+
page-break-after: avoid !important;
115+
height: auto !important;
116+
min-height: auto !important;
117+
}
118+
119+
.reveal img {
120+
box-shadow: none;
121+
}
122+
123+
.reveal .roll {
124+
overflow: visible;
125+
line-height: 1em;
126+
}
127+
128+
/* Slide backgrounds are placed inside of their slide when exporting to PDF */
129+
.reveal section .slide-background {
130+
display: block !important;
131+
position: absolute;
132+
top: 0;
133+
left: 0;
134+
width: 100%;
135+
z-index: -1;
136+
}
137+
138+
/* All elements should be above the slide-background */
139+
.reveal section>* {
140+
position: relative;
141+
z-index: 1;
142+
}
143+
144+
/* Display slide speaker notes when 'showNotes' is enabled */
145+
.reveal .speaker-notes-pdf {
146+
display: block;
147+
width: 100%;
148+
max-height: none;
149+
left: auto;
150+
top: auto;
151+
z-index: 100;
152+
}
153+
154+
/* Display slide numbers when 'slideNumber' is enabled */
155+
.reveal .slide-number-pdf {
156+
display: block;
157+
position: absolute;
158+
font-size: 14px;
159+
}
160+

0 commit comments

Comments
 (0)