diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2017-01-10 17:53:05 +0100 |
---|---|---|
committer | Felix Mulder <felix.mulder@gmail.com> | 2017-01-31 14:31:05 +0100 |
commit | 48db40565b84ac4a3181bdc95533d28180edb10b (patch) | |
tree | 2b1454ae3bd6df01e4ac827cf57ee51d40d5327b /doc-tool/resources/_layouts/doc-page.html | |
parent | 7b3588fbff791679fc82c4fe21085eb97a97cf0a (diff) | |
download | dotty-48db40565b84ac4a3181bdc95533d28180edb10b.tar.gz dotty-48db40565b84ac4a3181bdc95533d28180edb10b.tar.bz2 dotty-48db40565b84ac4a3181bdc95533d28180edb10b.zip |
Add initial defaults to page generation
Diffstat (limited to 'doc-tool/resources/_layouts/doc-page.html')
-rw-r--r-- | doc-tool/resources/_layouts/doc-page.html | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/doc-tool/resources/_layouts/doc-page.html b/doc-tool/resources/_layouts/doc-page.html new file mode 100644 index 000000000..876e90c95 --- /dev/null +++ b/doc-tool/resources/_layouts/doc-page.html @@ -0,0 +1,8 @@ +--- +layout: doc +--- + +<h1 id="doc-page-title">{{ page.title }}</h1> +<div id="doc-page-container"> + {{ content }} +</div> |