diff options
Diffstat (limited to 'doc/_sphinx/disqus/page.html')
-rw-r--r-- | doc/_sphinx/disqus/page.html | 22 |
1 files changed, 22 insertions, 0 deletions
diff --git a/doc/_sphinx/disqus/page.html b/doc/_sphinx/disqus/page.html new file mode 100644 index 000000000..0ad5db3b7 --- /dev/null +++ b/doc/_sphinx/disqus/page.html @@ -0,0 +1,22 @@ +{% extends "!page.html" %} + +{% block body %} +{{ super() }} + +<div id="disqus_thread"></div> +<script type="text/javascript"> + var disqus_shortname = 'botan'; + var disqus_developer = 1; // testing mode + + var disqus_identifier = 'botan_{{ pagename }}'; + var disqus_url = 'http://botan.randombit.net/{{ pagename }}.html'; + + (function() { + var dsq = document.createElement('script'); dsq.type = 'text/javascript'; dsq.async = true; + dsq.src = 'http://' + disqus_shortname + '.disqus.com/embed.js'; + (document.getElementsByTagName('head')[0] || document.getElementsByTagName('body')[0]).appendChild(dsq); + })(); +</script> +<noscript>Please enable JavaScript to view the <a href="http://disqus.com/?ref_noscript">comments powered by Disqus.</a></noscript> + +{% endblock %} |