| commit | a37f50ee337b26519cf8d252e263f511f05c8c1a | [log] [tgz] |
|---|---|---|
| author | Scott Todd <scotttodd@google.com> | Tue Jun 28 09:56:31 2022 -0700 |
| committer | GitHub <noreply@github.com> | Tue Jun 28 09:56:31 2022 -0700 |
| tree | 2f5e31be09aade4b90206d145be0c6d081d75487 | |
| parent | 7df397317736788046e02e5d8e821c498d7266da [diff] [blame] |
Hide latest release from website widget and update icons. (#9636) Before:  After:  (that will be `iree-org/iree` after https://github.com/iree-org/iree/pull/9635) References: * https://squidfunk.github.io/mkdocs-material/setup/changing-the-colors/#color-palette-toggle (that lists other popular icon combinations) * https://squidfunk.github.io/mkdocs-material/setup/adding-a-git-repository/ (and https://github.com/squidfunk/mkdocs-material/issues/3800#issuecomment-1090428115)
diff --git a/docs/website/mkdocs.yml b/docs/website/mkdocs.yml index 9094147..0c3e135 100644 --- a/docs/website/mkdocs.yml +++ b/docs/website/mkdocs.yml
@@ -34,7 +34,7 @@ primary: indigo accent: indigo toggle: - icon: material/toggle-switch-off-outline + icon: material/brightness-7 name: Switch to dark mode # Dark mode - media: "(prefers-color-scheme: dark)" @@ -42,7 +42,7 @@ primary: blue accent: blue toggle: - icon: material/toggle-switch + icon: material/brightness-4 name: Switch to light mode repo_url: https://github.com/iree-org/iree