1 <script type=
"text/javascript">
2 document
.addEventListener('DOMContentLoaded',function() {
3 document
.getElementById("table-of-contents").onclick = function() {
4 var elem
= document
.getElementById("text-table-of-contents");
5 elem
.style
.display
= elem
.style
.display
== "block" ? "none" : "block";
9 var url
= document
.location
.href
;
10 var orgsource
= url
.substring(0, url
.lastIndexOf("."))+".org.html";
11 function show_org_source(){
12 document
.location
.href
= orgsource
;
17 (function(f
, a
, t
, h
, o
, m
){
18 a
[h
]=a
[h
]||function(){
19 (a
[h
].q
=a
[h
].q
||[]).push(arguments
)
21 o
=f
.createElement('script'),
22 m
=f
.getElementsByTagName('script')[0];
23 o
.async
=1; o
.src
=t
; o
.id
='fathom-script';
24 m
.parentNode
.insertBefore(o
,m
)
25 })(document
, window
, '//stats.orgmode.org/tracker.js', 'fathom');
26 fathom('set', 'siteId', 'NWSQJ');
27 fathom('trackPageview');