aboutsummaryrefslogtreecommitdiff
path: root/docs/_layouts/default.html
diff options
context:
space:
mode:
authorFelix Mulder <felix.mulder@gmail.com>2016-11-07 15:36:20 +0100
committerFelix Mulder <felix.mulder@gmail.com>2016-11-07 15:57:52 +0100
commitfb0f3ff8c8e5a2e3b906dd9a8815a2d22ca9c38c (patch)
treef99953c897acd0c2fabf75060e1845650547ccac /docs/_layouts/default.html
parent5d590242132b0f38fc04afed2c787dadfd8d6c2f (diff)
downloaddotty-fb0f3ff8c8e5a2e3b906dd9a8815a2d22ca9c38c.tar.gz
dotty-fb0f3ff8c8e5a2e3b906dd9a8815a2d22ca9c38c.tar.bz2
dotty-fb0f3ff8c8e5a2e3b906dd9a8815a2d22ca9c38c.zip
Fix #1674: add search to doc site
Diffstat (limited to 'docs/_layouts/default.html')
-rw-r--r--docs/_layouts/default.html1
1 files changed, 1 insertions, 0 deletions
diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html
index ce1345145..65a2cd859 100644
--- a/docs/_layouts/default.html
+++ b/docs/_layouts/default.html
@@ -15,6 +15,7 @@
</div>
</a>
<div id="content">
+ <h1>{{ page.title }}</h1>
{{ content }}
</div>
<div id="toc">