Add new Dotty logo

Author: felixmulder

doc-tool/resources/_includes/scala-logo.html

@@ -2,7 +2,7 @@
 <ul class="toc">
     <li>
         <a id="home-button" href="{{ site.baseurl }}/index.html">
-            {% include "scala-logo.html" %}
+            {% include "scala-logo.svg" %}
         </a>
     </li>
     <li>

doc-tool/resources/_includes/scala-logo.svg

@@ -69,8 +69,12 @@ ul.toc > li > a#home-button:hover {
     background: transparent;
 }
 
-ul.toc > li > a#home-button svg path {
-    fill: #423e3e;
+ul.toc > li > a#home-button svg g#logo-foreground {
+    fill: rgba(152, 101, 167, 1);
+}
+
+ul.toc > li > a#home-button svg g#logo-background {
+    fill: rgba(152, 101, 167, 0.45);
 }
 
 ul.toc > li,

doc-tool/resources/_includes/toc.html

@@ -310,7 +310,7 @@ case class Site(val root: JFile, val documentation: Map[String, Package]) extend
 
     val defaultIncludes: Map[String, String] = Map(
       "header.html" -> "/_includes/header.html",
-      "scala-logo.html" -> "/_includes/scala-logo.html",
+      "scala-logo.svg" -> "/_includes/scala-logo.svg",
       "toc.html" -> "/_includes/toc.html"
     ).mapValues(getResource)