From 3e16bfd9c32d965820121abc0083e8db94537821 Mon Sep 17 00:00:00 2001 From: Felix Mulder Date: Thu, 12 Jan 2017 14:40:51 +0100 Subject: Add scala-logo svg --- doc-tool/resources/_includes/scala-logo.html | 19 +++++++++++++++ doc-tool/resources/_includes/toc.html | 8 +++++++ doc-tool/resources/_layouts/doc.html | 4 ++-- doc-tool/resources/css/dottydoc.css | 27 ++++++++++++++++++---- .../tools/dottydoc/staticsite/LiquidTemplate.scala | 2 +- .../src/dotty/tools/dottydoc/staticsite/Site.scala | 1 + 6 files changed, 53 insertions(+), 8 deletions(-) create mode 100644 doc-tool/resources/_includes/scala-logo.html (limited to 'doc-tool') diff --git a/doc-tool/resources/_includes/scala-logo.html b/doc-tool/resources/_includes/scala-logo.html new file mode 100644 index 000000000..bfabf88f7 --- /dev/null +++ b/doc-tool/resources/_includes/scala-logo.html @@ -0,0 +1,19 @@ + + + background + + + + + Layer 1 + + + diff --git a/doc-tool/resources/_includes/toc.html b/doc-tool/resources/_includes/toc.html index 88113d2f0..8f3b1e222 100644 --- a/doc-tool/resources/_includes/toc.html +++ b/doc-tool/resources/_includes/toc.html @@ -1,8 +1,16 @@ {% assign parent = page.path | first %}