diff options
| author | Felix Mulder <felix.mulder@gmail.com> | 2016-10-05 17:39:21 +0200 |
|---|---|---|
| committer | Felix Mulder <felix.mulder@gmail.com> | 2016-10-06 16:39:40 +0200 |
| commit | d6583e52da599a6067f12950b7df575b31b3fbee (patch) | |
| tree | 6423f06e0e6adb49fa41fb8cc4136df10b72cb3b /docs/_includes | |
| parent | 6777edc4f8bbd14a82a282740545d91af4d2f7b5 (diff) | |
| download | dotty-d6583e52da599a6067f12950b7df575b31b3fbee.tar.gz dotty-d6583e52da599a6067f12950b7df575b31b3fbee.tar.bz2 dotty-d6583e52da599a6067f12950b7df575b31b3fbee.zip | |
Add Jekyll as static site generator
Diffstat (limited to 'docs/_includes')
| -rw-r--r-- | docs/_includes/scala-logo.html | 19 | ||||
| -rw-r--r-- | docs/_includes/toc.html | 37 |
2 files changed, 56 insertions, 0 deletions
diff --git a/docs/_includes/scala-logo.html b/docs/_includes/scala-logo.html new file mode 100644 index 000000000..bfabf88f7 --- /dev/null +++ b/docs/_includes/scala-logo.html @@ -0,0 +1,19 @@ +<svg width="64" height="110" xmlns="http://www.w3.org/2000/svg"> + <g> + <title>background</title> + <rect x="-1" y="-1" width="9.664668" height="15.173648" id="canvas_background" fill="none"/> + </g> + + <g> + <title>Layer 1</title> + <g id="logo"> + <g opacity="0.61" id="svg_1"> + <path fill="#FFFFFF" d="m0.5,41.9c0,0 62.9,6.3 62.9,16.8l0,-25.2c0,0 0,-10.5 -62.9,-16.8l0,9.8l0,15.4z" id="svg_2"/> + <path fill="#FFFFFF" d="m0.5,75.5c0,0 62.9,6.3 62.9,16.8l0,-25.2c0,0 0,-10.5 -62.9,-16.8l0,25.2z" id="svg_3"/> + </g> + <path fill="#FFFFFF" d="m63.5,0l0,25.2c0,0 0,10.5 -62.9,16.8l0,-25.3c-0.1,0 62.9,-6.2 62.9,-16.7" id="svg_4"/> + <path fill="#FFFFFF" d="m0.5,50.3c0,0 62.9,-6.3 62.9,-16.8l0,25.2c0,0 0,10.5 -62.9,16.8l0,-25.2z" id="svg_5"/> + <path fill="#FFFFFF" d="m0.5,109l0,-25.2c0,0 62.9,-6.3 62.9,-16.8l0,25.2c0.1,0.1 0.1,10.5 -62.9,16.8" id="svg_6"/> + </g> + </g> +</svg> diff --git a/docs/_includes/toc.html b/docs/_includes/toc.html new file mode 100644 index 000000000..213926856 --- /dev/null +++ b/docs/_includes/toc.html @@ -0,0 +1,37 @@ +<div> + <div id="scala-logo"> + {% include scala-logo.html %} + </div> + <ul id="categories"> + <li><ul><li><a href="/blog">Blog</a></li></ul></li> + <li><ul><li><a href="/">Dotty Docs</a></li></ul></li> + <li> + Usage + <ul> + <li><a href="/usage/migrating.html">Migrating from Scala 2</a></li> + <li><a href="/usage/sbt-projects.html">Using Dotty with sbt</a></li> + </ul> + </li> + <li> + Contributing + <ul> + <li><a href="/contributing/getting-started.html">Getting Started</a></li> + <li><a href="/contributing/workflow.html">Workflow</a></li> + <li><a href="/contributing/eclipse.html">Eclipse</a></li> + <li><a href="/contributing/intellij-idea.html">Intellij-IDEA</a></li> + </ul> + </li> + <li> + Internals + <ul> + <li><a href="/internals/backend.html">Backend</a></li> + <li><a href="/internals/contexts.html">Contexts</a></li> + <li><a href="/internals/higher-kinded-v2.html">Higher Kinded Type Scheme</a></li> + <li><a href="/internals/overall-structure.html">Project Structure</a></li> + <li><a href="/internals/periods.html">Periods</a></li> + <li><a href="/internals/type-system.html">Type System</a></li> + <li><a href="/internals/dotc-scalac.html">Dotty vs Scala2</a></li> + </ul> + </li> + </ul> +</div> |