]> git.lizzy.rs Git - rust.git/commit - src/tools/miri
projects / rust.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(merge: 95c9a7e b4173b6)
Rollup merge of #101748 - notriddle:notriddle/source-sidebar-sidebar-toggle, r=Guilla...
authorDylan DPC <99973273+Dylan-DPC@users.noreply.github.com>
Tue, 13 Sep 2022 11:21:32 +0000 (16:51 +0530)
committerGitHub <noreply@github.com>
Tue, 13 Sep 2022 11:21:32 +0000 (16:51 +0530)
commit1c74d5041f2542fac7048207eb83e5ee035d5a75
treeea4e1f1098a2aeedb3bdedbe8ff12770830c692dtree | snapshot
parent95c9a7e7c8016acb38f0ef36111c40ed1833d5a3commit | diff
parentb4173b6d869ff5f4a6057ba46603d5f1385d1187commit | diff
Rollup merge of #101748 - notriddle:notriddle/source-sidebar-sidebar-toggle, r=GuillaumeGomez

rustdoc: remove redundant CSS `#source-sidebar, #sidebar-toggle`

These two elements are always nested below `<nav class="sidebar">`, and will inherit the font from their parent.

These selectors were added in 93520d2ad145b791b1b1a6c71cdea65b1943ffb6, and became redundant in 07e3f998b1ceb4b8d2a7992782e60f5e776aa114 when the source sidebar elements became nested below `nav.sidebar`.
Empowering everyone to build reliable and efficient software.