diff options
| author | The Miri Conjob Bot <miri@cron.bot> | 2024-01-05 05:12:56 +0000 |
|---|---|---|
| committer | The Miri Conjob Bot <miri@cron.bot> | 2024-01-05 05:12:56 +0000 |
| commit | d11a2bdc1de415c16fd9cbf886aecf22f9cc4a4a (patch) | |
| tree | 4b530857b40a0aaf12b8855289f5a65cd7d8eb73 /tests/rustdoc-gui/src/theme_css/custom-theme.css | |
| parent | 4c4c6a6de31e1018e718fd68616b4fa989457230 (diff) | |
| parent | a59a98024e3fe317e37e218392f5c34e932b2394 (diff) | |
Merge from rustc
Diffstat (limited to 'tests/rustdoc-gui/src/theme_css/custom-theme.css')
| -rw-r--r-- | tests/rustdoc-gui/src/theme_css/custom-theme.css | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/tests/rustdoc-gui/src/theme_css/custom-theme.css b/tests/rustdoc-gui/src/theme_css/custom-theme.css index 49227d9ea11..b7f89d4cf15 100644 --- a/tests/rustdoc-gui/src/theme_css/custom-theme.css +++ b/tests/rustdoc-gui/src/theme_css/custom-theme.css @@ -18,6 +18,7 @@ --code-attribute-color: #999; --toggles-color: #999; --toggle-filter: none; + --mobile-sidebar-menu-filter: none; --search-input-focused-border-color: #66afe9; --copy-path-button-color: #999; --copy-path-img-filter: invert(50%); |