Merge pull request #7153 from TheElectronWill/responsive-docs

Fix lampepfl/dotty-feature-requests#28: make Dottydoc responsive

Author: smarter

compiler/src/dotty/tools/dotc/config/ScalaSettings.scala

@@ -200,6 +200,13 @@ class ScalaSettings extends Settings.SettingGroup {
     "The source repository of your project",
     ""
   )
+  
+  val projectLogo: Setting[String] = StringSetting(
+    "-project-logo",
+    "project logo filename",
+    "The file that contains the project's logo (in /images)",
+    ""
+  )
 
   val wikiSyntax: Setting[Boolean] = BooleanSetting("-Xwiki-syntax", "Retains the Scala2 behavior of using Wiki Syntax in Scaladoc")
 }

doc-tool/bootstrap-theme/build.sh

@@ -0,0 +1,6 @@
+#!/bin/sh
+cd "$(dirname "$0")"
+npm run build
+echo "Copying css file..."
+cp target/bootstrap.min.css ../resources/css/bootstrap.min.css
+echo "Bootstrap css updated."