From fb0f3ff8c8e5a2e3b906dd9a8815a2d22ca9c38c Mon Sep 17 00:00:00 2001 From: Felix Mulder Date: Mon, 7 Nov 2016 15:36:20 +0100 Subject: [PATCH 1/4] Fix #1674: add search to doc site --- docs/_includes/toc.html | 3 ++ docs/_layouts/default.html | 1 + docs/_layouts/search.html | 17 +++++++ docs/blog/index.html | 2 - docs/css/main.scss | 54 +++++++++++++++++++-- docs/docs/contributing/eclipse.md | 5 +- docs/docs/contributing/getting-started.md | 3 -- docs/docs/contributing/intellij-idea.md | 3 +- docs/docs/contributing/workflow.md | 2 - docs/docs/index.md | 4 +- docs/docs/internals/backend.md | 2 - docs/docs/internals/contexts.md | 4 +- docs/docs/internals/dotc-scalac.md | 4 +- docs/docs/internals/overall-structure.md | 4 +- docs/docs/internals/periods.md | 5 +- docs/docs/internals/type-system.md | 3 +- docs/docs/usage/cbt-projects.md | 4 +- docs/docs/usage/migrating.md | 3 -- docs/docs/usage/sbt-projects.md | 4 +- docs/js/lunr.min.js | 6 +++ docs/js/search.js | 57 +++++++++++++++++++++++ docs/search.html | 35 ++++++++++++++ 22 files changed, 179 insertions(+), 46 deletions(-) create mode 100644 docs/_layouts/search.html create mode 100644 docs/js/lunr.min.js create mode 100644 docs/js/search.js create mode 100644 docs/search.html diff --git a/docs/_includes/toc.html b/docs/_includes/toc.html index cac31d2bf7c9..45cbb594009d 100644 --- a/docs/_includes/toc.html +++ b/docs/_includes/toc.html @@ -4,6 +4,9 @@ {% include scala-logo.html %} +
+ +