From 125084dba31719c602a3249ea26b88d726776de2 Mon Sep 17 00:00:00 2001 From: Erik Osterman Date: Thu, 15 Dec 2022 13:51:29 -0600 Subject: [PATCH] Customize search --- website/Makefile | 1 + website/src/css/custom.css | 12 ++++++++++++ 2 files changed, 13 insertions(+) diff --git a/website/Makefile b/website/Makefile index 49eaf1397..7e86cd4ba 100644 --- a/website/Makefile +++ b/website/Makefile @@ -5,4 +5,5 @@ deps: npm install up: + npm run build npm run start diff --git a/website/src/css/custom.css b/website/src/css/custom.css index 689649491..17263a85e 100644 --- a/website/src/css/custom.css +++ b/website/src/css/custom.css @@ -59,6 +59,10 @@ li > ul.menu__list { --ifm-color-primary-light: #538ce9; --ifm-color-primary-lighter: #72a1ed; --ifm-color-primary-lightest: #9abcf2; + + --aa-input-border-color-rgb: var(--ifm-toc-border-color); + --aa-input-border-color-alpha: var(--ifm-toc-border-color); + --aa-primary-color-rgb: var(--ifm-toc-border-color) !important; } /* For readability concerns, you should choose a lighter palette in dark mode. */ @@ -135,3 +139,11 @@ pre code { li.menu__list-item.command { font-family: var(--ifm-font-family-monospace); } + +.aa-Autocomplete > .aa-DetachedSearchButton { + border-radius: 32px; +} + +.aa-Autocomplete { + min-width: 150px; +}