@@ -1 +1,350 @@
1−TODO
1+<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">
2+<html xmlns="http://www.w3.org/1999/xhtml"
3+><head
4+ ><title
5+ >title</title
6+ ><meta http-equiv="Content-Type" content="text/html; charset=UTF-8"
7+ /><meta name="generator" content="pandoc"
8+ /><meta name="author" content="$authors$"
9+ /><meta name="date" content="$date$"
10+ /><!-- configuration parameters -->
11+<meta name="defaultView" content="slideshow" />
12+<meta name="controlVis" content="hidden" />
13+<style type="text/css" media="projection" id="slideProj">
14+/* Do not edit or override these styles! The system will likely break if you do. */
15+
16+div#header, div#footer, div#controls, .slide {position: absolute;}
17+html>body div#header, html>body div#footer,
18+ html>body div#controls, html>body .slide {position: fixed;}
19+.handout {display: none;}
20+.layout {display: block;}
21+.slide, .hideme, .incremental {visibility: hidden;}
22+#slide0 {visibility: visible;}
23+
24+/* The following styles size, place, and layer the slide components.
25+ Edit these if you want to change the overall slide layout.
26+ The commented lines can be uncommented (and modified, if necessary)
27+ to help you with the rearrangement process. */
28+
29+/* target = 1024x768 */
30+
31+div#header, div#footer, .slide {width: 100%; top: 0; left: 0;}
32+div#header {top: 0; height: 3em; z-index: 1;}
33+div#footer {top: auto; bottom: 0; height: 2.5em; z-index: 5;}
34+.slide {top: 0; width: 92%; padding: 3.5em 4% 4%; z-index: 2; list-style: none;}
35+div#controls {left: 50%; bottom: 0; width: 50%; z-index: 100;}
36+div#controls form {position: absolute; bottom: 0; right: 0; width: 100%;
37+ margin: 0;}
38+#currentSlide {position: absolute; width: 10%; left: 45%; bottom: 1em; z-index: 10;}
39+html>body #currentSlide {position: fixed;}
40+
41+/*
42+div#header {background: #FCC;}
43+div#footer {background: #CCF;}
44+div#controls {background: #BBD;}
45+div#currentSlide {background: #FFC;}
46+*/
47+
48+/* Following are the presentation styles -- edit away! */
49+
50+body {background: #FFF url(bodybg.gif) -16px 0 no-repeat; color: #000; font-size: 2em;}
51+:link, :visited {text-decoration: none; color: #00C;}
52+#controls :active {color: #88A !important;}
53+#controls :focus {outline: 1px dotted #227;}
54+h1, h2, h3, h4 {font-size: 100%; margin: 0; padding: 0; font-weight: inherit;}
55+ul, pre {margin: 0; line-height: 1em;}
56+html, body {margin: 0; padding: 0;}
57+
58+blockquote, q {font-style: italic;}
59+blockquote {padding: 0 2em 0.5em; margin: 0 1.5em 0.5em; text-align: center; font-size: 1em;}
60+blockquote p {margin: 0;}
61+blockquote i {font-style: normal;}
62+blockquote b {display: block; margin-top: 0.5em; font-weight: normal; font-size: smaller; font-style: normal;}
63+blockquote b i {font-style: italic;}
64+
65+kbd {font-weight: bold; font-size: 1em;}
66+sup {font-size: smaller; line-height: 1px;}
67+
68+.slide code {padding: 2px 0.25em; font-weight: bold; color: #533;}
69+.slide code.bad, code del {color: red;}
70+.slide code.old {color: silver;}
71+.slide pre {padding: 0; margin: 0.25em 0 0.5em 0.5em; color: #533; font-size: 90%;}
72+.slide pre code {display: block;}
73+.slide ul {margin-left: 5%; margin-right: 7%; list-style: disc;}
74+.slide li {margin-top: 0.75em; margin-right: 0;}
75+.slide ul ul {line-height: 1;}
76+.slide ul ul li {margin: .2em; font-size: 85%; list-style: square;}
77+.slide img.leader {display: block; margin: 0 auto;}
78+
79+div#header, div#footer {background: #005; color: #AAB;
80+ font-family: Verdana, Helvetica, sans-serif;}
81+div#header {background: #005 url(bodybg.gif) -16px 0 no-repeat;
82+ line-height: 1px;}
83+div#footer {font-size: 0.5em; font-weight: bold; padding: 1em 0;}
84+#footer h1, #footer h2 {display: block; padding: 0 1em;}
85+#footer h2 {font-style: italic;}
86+
87+div.long {font-size: 0.75em;}
88+.slide h1 {position: absolute; top: 0.7em; left: 87px; z-index: 1;
89+ margin: 0; padding: 0.3em 0 0 50px; white-space: nowrap;
90+ font: bold 150%/1em Helvetica, sans-serif; text-transform: capitalize;
91+ color: #DDE; background: #005;}
92+.slide h3 {font-size: 130%;}
93+h1 abbr {font-variant: small-caps;}
94+
95+div#controls {position: absolute; left: 50%; bottom: 0;
96+ width: 50%;
97+ text-align: right; font: bold 0.9em Verdana, Helvetica, sans-serif;}
98+html>body div#controls {position: fixed; padding: 0 0 1em 0;
99+ top: auto;}
100+div#controls form {position: absolute; bottom: 0; right: 0; width: 100%;
101+ margin: 0; padding: 0;}
102+#controls #navLinks a {padding: 0; margin: 0 0.5em;
103+ background: #005; border: none; color: #779;
104+ cursor: pointer;}
105+#controls #navList {height: 1em;}
106+#controls #navList #jumplist {position: absolute; bottom: 0; right: 0; background: #DDD; color: #227;}
107+
108+#currentSlide {text-align: center; font-size: 0.5em; color: #449;}
109+
110+#slide0 {padding-top: 3.5em; font-size: 90%;}
111+#slide0 h1 {position: static; margin: 1em 0 0; padding: 0;
112+ font: bold 2em Helvetica, sans-serif; white-space: normal;
113+ color: #000; background: transparent;}
114+#slide0 h2 {font: bold italic 1em Helvetica, sans-serif; margin: 0.25em;}
115+#slide0 h3 {margin-top: 1.5em; font-size: 1.5em;}
116+#slide0 h4 {margin-top: 0; font-size: 1em;}
117+
118+ul.urls {list-style: none; display: inline; margin: 0;}
119+.urls li {display: inline; margin: 0;}
120+.note {display: none;}
121+.external {border-bottom: 1px dotted gray;}
122+html>body .external {border-bottom: none;}
123+.external:after {content: " \274F"; font-size: smaller; color: #77B;}
124+
125+.incremental, .incremental *, .incremental *:after {color: #DDE; visibility: visible;}
126+img.incremental {visibility: hidden;}
127+.slide .current {color: #B02;}
128+
129+
130+/* diagnostics
131+
132+li:after {content: " [" attr(class) "]"; color: #F88;}
133+*/
134+
135+</style>
136+<style type="text/css" media="projection" id="operaFix">
137+/* DO NOT CHANGE THESE unless you really want to break Opera Show */
138+.slide {
139+ visibility: visible !important;
140+ position: static !important;
141+ page-break-before: always;
142+}
143+#slide0 {page-break-before: avoid;}
144+
145+</style>
146+<style type="text/css" media="screen" id="outlineStyle">
147+/* don't change this unless you want the layout stuff to show up in the outline view! */
148+
149+.layout div, #footer *, #controlForm * {display: none;}
150+#footer, #controls, #controlForm, #navLinks, #toggle {
151+ display: block; visibility: visible; margin: 0; padding: 0;}
152+#toggle {float: right; padding: 0.5em;}
153+html>body #toggle {position: fixed; top: 0; right: 0;}
154+
155+/* making the outline look pretty-ish */
156+
157+#slide0 h1, #slide0 h2, #slide0 h3, #slide0 h4 {border: none; margin: 0;}
158+#slide0 h1 {padding-top: 1.5em;}
159+.slide h1 {margin: 1.5em 0 0; padding-top: 0.25em;
160+ border-top: 1px solid #888; border-bottom: 1px solid #AAA;}
161+#toggle {border: 1px solid; border-width: 0 0 1px 1px; background: #FFF;}
162+
163+</style>
164+<style type="text/css" media="print" id="slidePrint">
165+/* The following rule is necessary to have all slides appear in print! DO NOT REMOVE IT! */
166+.slide, ul {page-break-inside: avoid; visibility: visible !important;}
167+h1 {page-break-after: avoid;}
168+
169+body {font-size: 12pt; background: white;}
170+* {color: black;}
171+
172+#slide0 h1 {font-size: 200%; border: none; margin: 0.5em 0 0.25em;}
173+#slide0 h3 {margin: 0; padding: 0;}
174+#slide0 h4 {margin: 0 0 0.5em; padding: 0;}
175+#slide0 {margin-bottom: 3em;}
176+
177+h1 {border-top: 2pt solid gray; border-bottom: 1px dotted silver;}
178+.extra {background: transparent !important;}
179+div.extra, pre.extra, .example {font-size: 10pt; color: #333;}
180+ul.extra a {font-weight: bold;}
181+p.example {display: none;}
182+
183+#header {display: none;}
184+#footer h1 {margin: 0; border-bottom: 1px solid; color: gray; font-style: italic;}
185+#footer h2, #controls {display: none;}
186+
187+/* The following rule keeps the layout stuff out of print. Remove at your own risk! */
188+.layout, .layout * {display: none !important;}
189+
190+</style>
191+<script type="text/javascript">
192+// S5 v1.1 slides.js -- released into the Public Domain
193+//
194+// Please see http://www.meyerweb.com/eric/tools/s5/credits.html for information
195+// about all the wonderful and talented contributors to this code!
196+var undef;var slideCSS='';var snum=0;var smax=1;var incpos=0;var number=undef;var s5mode=true;var defaultView='slideshow';var controlVis='visible';var isIE=navigator.appName=='Microsoft Internet Explorer'&&navigator.userAgent.indexOf('Opera')<1?1:0;var isOp=navigator.userAgent.indexOf('Opera')>-1?1:0;var isGe=navigator.userAgent.indexOf('Gecko')>-1&&navigator.userAgent.indexOf('Safari')<1?1:0;function hasClass(object,className){if(!object.className)return false;return(object.className.search('(^|\\s)'+className+'(\\s|$)')!=-1);}
197+function hasValue(object,value){if(!object)return false;return(object.search('(^|\\s)'+value+'(\\s|$)')!=-1);}
198+function removeClass(object,className){if(!object)return;object.className=object.className.replace(new RegExp('(^|\\s)'+className+'(\\s|$)'),RegExp.$1+RegExp.$2);}
199+function addClass(object,className){if(!object||hasClass(object,className))return;if(object.className){object.className+=' '+className;}else{object.className=className;}}
200+function GetElementsWithClassName(elementName,className){var allElements=document.getElementsByTagName(elementName);var elemColl=new Array();for(var i=0;i<allElements.length;i++){if(hasClass(allElements[i],className)){elemColl[elemColl.length]=allElements[i];}}
201+return elemColl;}
202+function isParentOrSelf(element,id){if(element==null||element.nodeName=='BODY')return false;else if(element.id==id)return true;else return isParentOrSelf(element.parentNode,id);}
203+function nodeValue(node){var result="";if(node.nodeType==1){var children=node.childNodes;for(var i=0;i<children.length;++i){result+=nodeValue(children[i]);}}
204+else if(node.nodeType==3){result=node.nodeValue;}
205+return(result);}
206+function slideLabel(){var slideColl=GetElementsWithClassName('*','slide');var list=document.getElementById('jumplist');smax=slideColl.length;for(var n=0;n<smax;n++){var obj=slideColl[n];var did='slide'+n.toString();obj.setAttribute('id',did);if(isOp)continue;var otext='';var menu=obj.firstChild;if(!menu)continue;while(menu&&menu.nodeType==3){menu=menu.nextSibling;}
207+if(!menu)continue;var menunodes=menu.childNodes;for(var o=0;o<menunodes.length;o++){otext+=nodeValue(menunodes[o]);}
208+list.options[list.length]=new Option(n+' : '+otext,n);}}
209+function currentSlide(){var cs;if(document.getElementById){cs=document.getElementById('currentSlide');}else{cs=document.currentSlide;}
210+cs.innerHTML='<span id="csHere">'+snum+'<\/span> '+'<span id="csSep">\/<\/span> '+'<span id="csTotal">'+(smax-1)+'<\/span>';if(snum==0){cs.style.visibility='hidden';}else{cs.style.visibility='visible';}}
211+function go(step){if(document.getElementById('slideProj').disabled||step==0)return;var jl=document.getElementById('jumplist');var cid='slide'+snum;var ce=document.getElementById(cid);if(incrementals[snum].length>0){for(var i=0;i<incrementals[snum].length;i++){removeClass(incrementals[snum][i],'current');removeClass(incrementals[snum][i],'incremental');}}
212+if(step!='j'){snum+=step;lmax=smax-1;if(snum>lmax)snum=lmax;if(snum<0)snum=0;}else
213+snum=parseInt(jl.value);var nid='slide'+snum;var ne=document.getElementById(nid);if(!ne){ne=document.getElementById('slide0');snum=0;}
214+if(step<0){incpos=incrementals[snum].length}else{incpos=0;}
215+if(incrementals[snum].length>0&&incpos==0){for(var i=0;i<incrementals[snum].length;i++){if(hasClass(incrementals[snum][i],'current'))
216+incpos=i+1;else
217+addClass(incrementals[snum][i],'incremental');}}
218+if(incrementals[snum].length>0&&incpos>0)
219+addClass(incrementals[snum][incpos-1],'current');ce.style.visibility='hidden';ne.style.visibility='visible';jl.selectedIndex=snum;currentSlide();number=0;}
220+function goTo(target){if(target>=smax||target==snum)return;go(target-snum);}
221+function subgo(step){if(step>0){removeClass(incrementals[snum][incpos-1],'current');removeClass(incrementals[snum][incpos],'incremental');addClass(incrementals[snum][incpos],'current');incpos++;}else{incpos--;removeClass(incrementals[snum][incpos],'current');addClass(incrementals[snum][incpos],'incremental');addClass(incrementals[snum][incpos-1],'current');}}
222+function toggle(){var slideColl=GetElementsWithClassName('*','slide');var slides=document.getElementById('slideProj');var outline=document.getElementById('outlineStyle');if(!slides.disabled){slides.disabled=true;outline.disabled=false;s5mode=false;fontSize('1em');for(var n=0;n<smax;n++){var slide=slideColl[n];slide.style.visibility='visible';}}else{slides.disabled=false;outline.disabled=true;s5mode=true;fontScale();for(var n=0;n<smax;n++){var slide=slideColl[n];slide.style.visibility='hidden';}
223+slideColl[snum].style.visibility='visible';}}
224+function showHide(action){var obj=GetElementsWithClassName('*','hideme')[0];switch(action){case's':obj.style.visibility='visible';break;case'h':obj.style.visibility='hidden';break;case'k':if(obj.style.visibility!='visible'){obj.style.visibility='visible';}else{obj.style.visibility='hidden';}
225+break;}}
226+function keys(key){if(!key){key=event;key.which=key.keyCode;}
227+if(key.which==84){toggle();return;}
228+if(s5mode){switch(key.which){case 10:case 13:if(window.event&&isParentOrSelf(window.event.srcElement,'controls'))return;if(key.target&&isParentOrSelf(key.target,'controls'))return;if(number!=undef){goTo(number);break;}
229+case 32:case 34:case 39:case 40:if(number!=undef){go(number);}else if(!incrementals[snum]||incpos>=incrementals[snum].length){go(1);}else{subgo(1);}
230+break;case 33:case 37:case 38:if(number!=undef){go(-1*number);}else if(!incrementals[snum]||incpos<=0){go(-1);}else{subgo(-1);}
231+break;case 36:goTo(0);break;case 35:goTo(smax-1);break;case 67:showHide('k');break;}
232+if(key.which<48||key.which>57){number=undef;}else{if(window.event&&isParentOrSelf(window.event.srcElement,'controls'))return;if(key.target&&isParentOrSelf(key.target,'controls'))return;number=(((number!=undef)?number:0)*10)+(key.which-48);}}
233+return false;}
234+function clicker(e){number=undef;var target;if(window.event){target=window.event.srcElement;e=window.event;}else target=e.target;if(target.getAttribute('href')!=null||hasValue(target.rel,'external')||isParentOrSelf(target,'controls')||isParentOrSelf(target,'embed')||isParentOrSelf(target,'object'))return true;if(!e.which||e.which==1){if(!incrementals[snum]||incpos>=incrementals[snum].length){go(1);}else{subgo(1);}}}
235+function findSlide(hash){var target=null;var slides=GetElementsWithClassName('*','slide');for(var i=0;i<slides.length;i++){var targetSlide=slides[i];if((targetSlide.name&&targetSlide.name==hash)||(targetSlide.id&&targetSlide.id==hash)){target=targetSlide;break;}}
236+while(target!=null&&target.nodeName!='BODY'){if(hasClass(target,'slide')){return parseInt(target.id.slice(5));}
237+target=target.parentNode;}
238+return null;}
239+function slideJump(){if(window.location.hash==null)return;var sregex=/^#slide(\d+)$/;var matches=sregex.exec(window.location.hash);var dest=null;if(matches!=null){dest=parseInt(matches[1]);}else{dest=findSlide(window.location.hash.slice(1));}
240+if(dest!=null)
241+go(dest-snum);}
242+function fixLinks(){var thisUri=window.location.href;thisUri=thisUri.slice(0,thisUri.length-window.location.hash.length);var aelements=document.getElementsByTagName('A');for(var i=0;i<aelements.length;i++){var a=aelements[i].href;var slideID=a.match('\#slide[0-9]{1,2}');if((slideID)&&(slideID[0].slice(0,1)=='#')){var dest=findSlide(slideID[0].slice(1));if(dest!=null){if(aelements[i].addEventListener){aelements[i].addEventListener("click",new Function("e","if (document.getElementById('slideProj').disabled) return;"+"go("+dest+" - snum); "+"if (e.preventDefault) e.preventDefault();"),true);}else if(aelements[i].attachEvent){aelements[i].attachEvent("onclick",new Function("","if (document.getElementById('slideProj').disabled) return;"+"go("+dest+" - snum); "+"event.returnValue = false;"));}}}}}
243+function externalLinks(){if(!document.getElementsByTagName)return;var anchors=document.getElementsByTagName('a');for(var i=0;i<anchors.length;i++){var anchor=anchors[i];if(anchor.getAttribute('href')&&hasValue(anchor.rel,'external')){anchor.target='_blank';addClass(anchor,'external');}}}
244+function createControls(){var controlsDiv=document.getElementById("controls");if(!controlsDiv)return;var hider=' onmouseover="showHide(\'s\');" onmouseout="showHide(\'h\');"';var hideDiv,hideList='';if(controlVis=='hidden'){hideDiv=hider;}else{hideList=hider;}
245+controlsDiv.innerHTML='<form action="#" id="controlForm"'+hideDiv+'>'+'<div id="navLinks">'+'<a accesskey="t" id="toggle" href="javascript:toggle();">Ø<\/a>'+'<a accesskey="z" id="prev" href="javascript:go(-1);">«<\/a>'+'<a accesskey="x" id="next" href="javascript:go(1);">»<\/a>'+'<div id="navList"'+hideList+'><select id="jumplist" onchange="go(\'j\');"><\/select><\/div>'+'<\/div><\/form>';if(controlVis=='hidden'){var hidden=document.getElementById('navLinks');}else{var hidden=document.getElementById('jumplist');}
246+addClass(hidden,'hideme');}
247+function fontScale(){if(!s5mode)return false;var vScale=22;var hScale=32;if(window.innerHeight){var vSize=window.innerHeight;var hSize=window.innerWidth;}else if(document.documentElement.clientHeight){var vSize=document.documentElement.clientHeight;var hSize=document.documentElement.clientWidth;}else if(document.body.clientHeight){var vSize=document.body.clientHeight;var hSize=document.body.clientWidth;}else{var vSize=700;var hSize=1024;}
248+var newSize=Math.min(Math.round(vSize/vScale),Math.round(hSize/hScale));fontSize(newSize+'px');if(isGe){var obj=document.getElementsByTagName('body')[0];obj.style.display='none';obj.style.display='block';}}
249+function fontSize(value){if(!(s5ss=document.getElementById('s5ss'))){if(!isIE){document.getElementsByTagName('head')[0].appendChild(s5ss=document.createElement('style'));s5ss.setAttribute('media','screen, projection');s5ss.setAttribute('id','s5ss');}else{document.createStyleSheet();document.s5ss=document.styleSheets[document.styleSheets.length-1];}}
250+if(!isIE){while(s5ss.lastChild)s5ss.removeChild(s5ss.lastChild);s5ss.appendChild(document.createTextNode('body {font-size: '+value+' !important;}'));}else{document.s5ss.addRule('body','font-size: '+value+' !important;');}}
251+function notOperaFix(){slideCSS=document.getElementById('slideProj').href;var slides=document.getElementById('slideProj');var outline=document.getElementById('outlineStyle');slides.setAttribute('media','screen');outline.disabled=true;if(isGe){slides.setAttribute('href','null');slides.setAttribute('href',slideCSS);}
252+if(isIE&&document.styleSheets&&document.styleSheets[0]){document.styleSheets[0].addRule('img','behavior: url(ui/default/iepngfix.htc)');document.styleSheets[0].addRule('div','behavior: url(ui/default/iepngfix.htc)');document.styleSheets[0].addRule('.slide','behavior: url(ui/default/iepngfix.htc)');}}
253+function getIncrementals(obj){var incrementals=new Array();if(!obj)
254+return incrementals;var children=obj.childNodes;for(var i=0;i<children.length;i++){var child=children[i];if(hasClass(child,'incremental')){if(child.nodeName=='OL'||child.nodeName=='UL'){removeClass(child,'incremental');for(var j=0;j<child.childNodes.length;j++){if(child.childNodes[j].nodeType==1){addClass(child.childNodes[j],'incremental');}}}else{incrementals[incrementals.length]=child;removeClass(child,'incremental');}}
255+if(hasClass(child,'show-first')){if(child.nodeName=='OL'||child.nodeName=='UL'){removeClass(child,'show-first');if(child.childNodes[isGe].nodeType==1){removeClass(child.childNodes[isGe],'incremental');}}else{incrementals[incrementals.length]=child;}}
256+incrementals=incrementals.concat(getIncrementals(child));}
257+return incrementals;}
258+function createIncrementals(){var incrementals=new Array();for(var i=0;i<smax;i++){incrementals[i]=getIncrementals(document.getElementById('slide'+i));}
259+return incrementals;}
260+function defaultCheck(){var allMetas=document.getElementsByTagName('meta');for(var i=0;i<allMetas.length;i++){if(allMetas[i].name=='defaultView'){defaultView=allMetas[i].content;}
261+if(allMetas[i].name=='controlVis'){controlVis=allMetas[i].content;}}}
262+function trap(e){if(!e){e=event;e.which=e.keyCode;}
263+try{modifierKey=e.ctrlKey||e.altKey||e.metaKey;}
264+catch(e){modifierKey=false;}
265+return modifierKey||e.which==0;}
266+function startup(){defaultCheck();if(!isOp)
267+createControls();slideLabel();fixLinks();externalLinks();fontScale();if(!isOp){notOperaFix();incrementals=createIncrementals();slideJump();if(defaultView=='outline'){toggle();}
268+document.onkeyup=keys;document.onkeypress=trap;document.onclick=clicker;}}
269+window.onload=startup;window.onresize=function(){setTimeout('fontScale()',50);}
270+</script>
271+$header-includes$
272+</head
273+ ><body
274+ >$before$
275+<div class="layout">
276+<div id="controls"></div>
277+<div id="currentSlide"></div>
278+<div id="header"></div>
279+<div id="footer">
280+<h1
281+ >$date$</h1
282+ ><h2
283+ ><span class="math"
284+ ><em
285+ >title</em
286+ ></span
287+ ></h2
288+ ></div>
289+</div>
290+<div class="presentation">
291+
292+<div class="slide">
293+<h1
294+ ><span class="math"
295+ ><em
296+ >title</em
297+ ></span
298+ ></h1
299+ ><h3
300+ >$authors$</h3
301+ ><h4
302+ >$date$</h4
303+ ></div>
304+<div class="slide">
305+<h1
306+ >section oen</h1
307+ ><ol style="list-style-type: decimal;"
308+ ><li
309+ >one<ol style="list-style-type: lower-alpha;"
310+ ><li
311+ >two<ol start="3" style="list-style-type: lower-roman;"
312+ ><li
313+ >three</li
314+ ></ol
315+ ></li
316+ ></ol
317+ ></li
318+ ></ol
319+ ><pre class="haskell"
320+ ><code
321+ >hi
322+</code
323+ ></pre
324+ ><p
325+ >footnote<a href="#fn1" class="footnoteRef" id="fnref1"
326+ ><sup
327+ >1</sup
328+ ></a
329+ ></p
330+ ></div>
331+</div>
332+<div class="footnotes"
333+ ><hr
334+ /><ol
335+ ><li id="fn1"
336+ ><p
337+ >with code</p
338+ ><pre
339+ ><code
340+ >code
341+</code
342+ ></pre
343+ > <a href="#fnref1" class="footnoteBackLink" title="Jump back to footnote 1">↩</a></li
344+ ></ol
345+ ></div
346+ >$after$
347+</body
348+ ></html
349+>
350+