From 87c4db3a476e74910d4a80dd81e4e62c169ccac8 Mon Sep 17 00:00:00 2001 From: Peter Ebden Date: Sun, 4 Aug 2024 16:55:19 +0100 Subject: [PATCH] Add Google programmable site search --- docs/styles.css | 12 +++++++++++- docs/template.html | 11 ++++++++--- 2 files changed, 19 insertions(+), 4 deletions(-) diff --git a/docs/styles.css b/docs/styles.css index d0e1324a91..e730e10b53 100644 --- a/docs/styles.css +++ b/docs/styles.css @@ -422,4 +422,14 @@ ul.bulleted-list > li > * { .code { font-family: "EssentialPragmataPro", monospace, sans-serif; -} \ No newline at end of file +} + +/* Google search */ +div.gsc-results-wrapper-overlay { + background-color: var(--raisin-black); +} + +li.search { + margin-top: 3em; + width: 70%; +} diff --git a/docs/template.html b/docs/template.html index 99ddd837ff..1d18e35fba 100644 --- a/docs/template.html +++ b/docs/template.html @@ -8,7 +8,7 @@ content="Please is a cross-language build system with an emphasis on high performance, portability, extensibility and correctness." /> - @@ -52,6 +52,7 @@ + +
  • +
    +
  • +
    @@ -379,13 +384,13 @@