2 files changed, 31 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 %}
diff --git a/doc/_sphinx/templates/layout.html b/doc/_sphinx/templates/layout.html
new file mode 100644
index 000000000..c907c7597
--- /dev/null
+++ b/doc/_sphinx/templates/layout.html
@@ -0,0 +1,9 @@
+{% extends "!layout.html" %}
+
+{% block header %}
+    <div class="header-wrapper">
+      <div class="header">
+        <h1>{{ shorttitle|e }}</h1>
+      </div>
+    </div>
+{% endblock %}