Skip to content

Commit

Permalink
Customize search (#278)
Browse files Browse the repository at this point in the history
  • Loading branch information
osterman committed Dec 15, 2022
1 parent c90dcb8 commit 608fe65
Show file tree
Hide file tree
Showing 2 changed files with 13 additions and 0 deletions.
1 change: 1 addition & 0 deletions website/Makefile
Expand Up @@ -5,4 +5,5 @@ deps:
npm install

up:
npm run build
npm run start
12 changes: 12 additions & 0 deletions website/src/css/custom.css
Expand Up @@ -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. */
Expand Down Expand Up @@ -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;
}

0 comments on commit 608fe65

Please sign in to comment.