diff options
author | Felix Mulder <felix.mulder@gmail.com> | 2016-10-07 15:34:38 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-10-07 15:34:38 +0200 |
commit | 3bb27d468cb06894c72b9f2cfba854ad49d68a74 (patch) | |
tree | 3a239da59946fcb2d6c7b7becd499c7b61e12007 /docs/_layouts | |
parent | a1d8e04af89d4b1ffc0f1c4efe587b8882461d6e (diff) | |
parent | 2ffc7cfaf05217394708d2c00ab85ab07663d03c (diff) | |
download | dotty-3bb27d468cb06894c72b9f2cfba854ad49d68a74.tar.gz dotty-3bb27d468cb06894c72b9f2cfba854ad49d68a74.tar.bz2 dotty-3bb27d468cb06894c72b9f2cfba854ad49d68a74.zip |
Merge pull request #1566 from felixmulder/topic/migrate-dotty.epfl.ch
Migrate dotty.epfl.ch to static site in repository
Diffstat (limited to 'docs/_layouts')
-rw-r--r-- | docs/_layouts/blog.html | 2 | ||||
-rw-r--r-- | docs/_layouts/default.html | 8 | ||||
-rw-r--r-- | docs/_layouts/index.html | 38 |
3 files changed, 44 insertions, 4 deletions
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 <div class="author-container {% if page.authorImg != null %} spaced {% endif %}"> {% if page.authorImg != null %} - <img src="{{ page.authorImg }}"/> + <img src="{{ site.baseurl }}/{{ page.authorImg }}"/> {% endif %} <div class="author-info"> <div>{{ page.author }}</div> 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 @@ </head> <body> <div id="container"> - <div id="scala-logo-mobile"> - {% include scala-logo.html %} - </div> + <a class="logo-container" href="{{ site.baseurl }}/"> + <div id="scala-logo-mobile"> + {% include scala-logo.html %} + </div> + </a> <div id="content"> {{ content }} </div> 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 @@ +<!DOCTYPE html> +<html lang="en"> + <head> + <meta charset="utf-8"> + <meta name="theme-color" content="#de332e"> + <meta name="viewport" content="width=device-width, initial-scale=1.0, maximum-scale=1.0, user-scalable=no" /> + <meta http-equiv="x-ua-compatible" content="ie=edge"> + <meta property="og:image" content="http://dotty.epfl.ch/images/preview.png" /> + + <title>Dotty</title> + + <link rel="icon" type="image/png" href="{{ site.baseurl }}/images/favicon.png"> + <link href="https://fonts.googleapis.com/icon?family=Material+Icons" rel="stylesheet"> + <link rel="stylesheet" href="https://maxcdn.bootstrapcdn.com/bootstrap/4.0.0-alpha.2/css/bootstrap.min.css" integrity="sha384-y3tfxAZXuh4HwSYylfB+J125MxIs6mR5FOHamPBG064zB+AFeWH94NdvaCBm8qnd" crossorigin="anonymous"> + <link rel="stylesheet" type="text/css" href="{{ site.baseurl }}/css/animate.css" /> + <link rel="stylesheet" type="text/css" href="{{ site.baseurl }}/css/default.css" /> + + <!-- Yandex.Metrika counter --> + <script type="text/javascript"> + (function (d, w, c) { (w[c] = w[c] || []).push(function() { try { w.yaCounter37916575 = new Ya.Metrika({ id:37916575, clickmap:true, trackLinks:true, accurateTrackBounce:true, webvisor:true, trackHash:true }); } catch(e) { } }); var n = d.getElementsByTagName("script")[0], s = d.createElement("script"), f = function () { n.parentNode.insertBefore(s, n); }; s.type = "text/javascript"; s.async = true; s.src = "https://mc.yandex.ru/metrika/watch.js"; if (w.opera == "[object Opera]") { d.addEventListener("DOMContentLoaded", f, false); } else { f(); } }) + (document, window, "yandex_metrika_callbacks"); + </script> + <noscript><div><img src="https://mc.yandex.ru/watch/37916575" style="position:absolute; left:-9999px;" alt /></div></noscript> <!-- /Yandex.Metrika counter --> + + <script src="https://ajax.googleapis.com/ajax/libs/jquery/2.1.4/jquery.min.js" defer></script> + <script src="https://maxcdn.bootstrapcdn.com/bootstrap/4.0.0-alpha.2/js/bootstrap.min.js" integrity="sha384-vZ2WRJMwsjRMW/8U7i6PWi6AlO1L79snBrmgiDpgIWJ82z8eA5lenwvxbMV1PAh7" crossorigin="anonymous" defer></script> + <script src="https://cdn.jsdelivr.net/scrollreveal.js/3.1.4/scrollreveal.min.js" defer></script> + <script src="{{ site.baseurl }}/js/index.js" defer></script> + </head> + <body> + <div id="content"> + {% include logo-page.html %} + {% include faq.html %} + {% include features.html %} + {% include getting-started.html %} + </div> + </body> +</html> |