From 2ffc7cfaf05217394708d2c00ab85ab07663d03c Mon Sep 17 00:00:00 2001 From: Felix Mulder Date: Fri, 7 Oct 2016 14:35:35 +0200 Subject: Migrate dotty.epfl.ch to static site in repository --- docs/_layouts/blog.html | 2 +- docs/_layouts/default.html | 8 +++++--- docs/_layouts/index.html | 38 ++++++++++++++++++++++++++++++++++++++ 3 files changed, 44 insertions(+), 4 deletions(-) create mode 100644 docs/_layouts/index.html (limited to 'docs/_layouts') diff --git a/docs/_layouts/blog.html b/docs/_layouts/blog.html index fde08e14e..560b8a64c 100644 --- a/docs/_layouts/blog.html +++ b/docs/_layouts/blog.html @@ -7,7 +7,7 @@ layout: default
{% if page.authorImg != null %} - + {% endif %}
{{ page.author }}
diff --git a/docs/_layouts/default.html b/docs/_layouts/default.html index c202df7d5..1978df710 100644 --- a/docs/_layouts/default.html +++ b/docs/_layouts/default.html @@ -7,9 +7,11 @@
-
- {% include scala-logo.html %} -
+ +
+ {% include scala-logo.html %} +
+
{{ content }}
diff --git a/docs/_layouts/index.html b/docs/_layouts/index.html new file mode 100644 index 000000000..aeb2fa7d7 --- /dev/null +++ b/docs/_layouts/index.html @@ -0,0 +1,38 @@ + + + + + + + + + + Dotty + + + + + + + + + + + + + + + + + +
+ {% include logo-page.html %} + {% include faq.html %} + {% include features.html %} + {% include getting-started.html %} +
+ + -- cgit v1.2.3