-
Notifications
You must be signed in to change notification settings - Fork 1
/
index.html
105 lines (97 loc) · 3.61 KB
/
index.html
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
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
<!doctype html>
<html>
<head>
<meta charset="utf-8">
<meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=no">
<title>Batching Monads</title>
<link rel="stylesheet" href="css/reveal.css"/>
<link rel="stylesheet" href="css/gh-fork-ribbon.min.css"/>
<link rel="stylesheet" href="css/theme/beige.css"/>
<!-- Theme used for syntax highlighting of code -->
<link rel="stylesheet" href="lib/css/zenburn.css">
<!-- Dynamically add the boomtown logo to the bottom-left of the
slides. If we're in PDF view ('?print-pdf' in the url) we need
to reduce the logo to 2/3 of its original size.
-->
<script>
// logo original dimensions.
var btLogoWidth = 150,
btLogoHeight = 35;
if (window.location.search.match(/print-pdf/gi)) {
btLogoWidth = btLogoWidth * 2 / 3;
btLogoHeight = btLogoHeight * 2 / 3
}
var btLogoStyle = document.createElement("style");
document.head.appendChild(btLogoStyle);
btLogoStyle.innerText =
"body:after {"
+ "display: inline-block;"
+ "background-image: url(img/logo-boomtown.png);"
/* original size: 150x35, reduced to 2/3 of original size */
+ "background-size: " + btLogoWidth + "px " + btLogoHeight + "px;"
+ "width: " + btLogoWidth + "px;"
+ "height: " + btLogoHeight + "px;"
+ "content: \"\";"
+ "position: fixed;"
+ "bottom: 3.5em;"
+ "left: 3.5em;"
+ "}";
</script>
<!-- Printing and PDF exports -->
<script>
var link = document.createElement( 'link' );
link.rel = 'stylesheet';
link.type = 'text/css';
link.href = window.location.search.match( /print-pdf/gi ) ? 'css/print/pdf.css' : 'css/print/paper.css';
document.getElementsByTagName( 'head' )[0].appendChild( link );
</script>
</head>
<body>
<!-- Adjusted by css/gh-fork-ribbon.min.css -->
<a class="github-fork-ribbon"
href="https://github.com/estatico/batching-free-monads-talk"
data-ribbon="Fork me on GitHub"
title="Fork me on GitHub">
Fork me on GitHub
</a>
<div class="reveal">
<div class="slides" id="markdown-slides">
<section data-markdown="slides.md" data-separator-notes="^Note:"></section>
<script>
// Dynamically update the location of the slides.md if the site is running
// on github.
if (window.location.hostname.indexOf('github') >= 0) {
document
.getElementById('markdown-slides')
.getElementsByTagName('section')[0]
.setAttribute(
'data-markdown',
'https://raw.githubusercontent.com/estatico/batching-free-monads-talk/master/slides.md'
);
}
</script>
</div>
</div>
<script src="lib/js/head.min.js"></script>
<script src="js/reveal.js"></script>
<script>
// More info about config & dependencies:
// - https://github.com/hakimel/reveal.js#configuration
// - https://github.com/hakimel/reveal.js#dependencies
Reveal.initialize({
width: '70%',
height: '70%',
history: true,
dependencies: [
{ src: 'plugin/markdown/marked.js' },
{ src: 'plugin/markdown/markdown.js' },
{ src: 'plugin/notes/notes.js', async: true },
{ src: 'plugin/highlight/highlight.js',
async: true,
callback: function() { hljs.initHighlightingOnLoad(); }
},
]
});
</script>
</body>
</html>