From 7a5251b47a11aa58abbb7e6727729bb595af33ca Mon Sep 17 00:00:00 2001 From: Tony Brix Date: Wed, 24 Feb 2021 17:02:30 -0600 Subject: [PATCH] add highlight css --- docs/branding/footer.html.in | 48 ++------------------------------ docs/branding/header.html.in | 2 +- docs/branding/media/js/script.js | 47 +++++++++++++++++++++++++++++++ docs/examples.md | 2 +- docs/guide.md | 32 ++++++++++----------- docs/index.md | 4 +-- scripts/build-docs.js | 13 ++++++--- 7 files changed, 78 insertions(+), 70 deletions(-) create mode 100644 docs/branding/media/js/script.js diff --git a/docs/branding/footer.html.in b/docs/branding/footer.html.in index a5618f5..17cf313 100644 --- a/docs/branding/footer.html.in +++ b/docs/branding/footer.html.in @@ -1,51 +1,7 @@ - + + diff --git a/docs/branding/header.html.in b/docs/branding/header.html.in index 8562fbf..0af4160 100644 --- a/docs/branding/header.html.in +++ b/docs/branding/header.html.in @@ -4,7 +4,7 @@ %(title)s - +