| .. |
|
disqus-js-common.js
|
5a35ac0fc2
IE friendly remove method
|
6 years ago |
|
disqus-js-main.js
|
c2a934f566
Only load disqus comments on button click
|
6 years ago |
|
disqus.html
|
5f6591dd04
Make disqus button more subtle
|
6 years ago |
|
footer.html
|
9f8fa6b85e
Use with
|
6 years ago |
|
google-analytics-async.html
|
a553a9526f
Shortcode overhaul
|
6 years ago |
|
head.html
|
d58a5faefd
Param for home meta tag content
|
6 years ago |
|
header.html
|
bbbc351494
Remove stray tag
|
6 years ago |
|
katex.html
|
31c33627e6
Add Katex support
|
6 years ago |
|
nav.html
|
4a3b86afb6
Refactor baseof template
|
6 years ago |
|
script.html
|
14582e042f
Remove service worker
|
6 years ago |
|
svg.html
|
7802890078
Reorganize
|
6 years ago |
|
toc.html
|
35ccaa287e
Handle non-ascii chars in toc id
|
6 years ago |
zwbetz
31c33627e6
Add Katex support