rust/src/librustdoc/html/static/css/noscript.css, branch 1.88.0

rustdoc: redesign toolbar and disclosure widgets

2024-09-11T00:56:05+00:00

This adds labels to the icons and moves them away from the search box. These changes are made together, because they work together, but are based on several complaints: * The [+/-] thing are a Reddit-ism. They don't look like buttons, but look like syntax , (some of these are laundry lists with more suggestions, but they all mention [+/-] looking wrong) * The settings, help, and summary buttons are also too hard to recognize , , , ("Not all functionality is self-explanatory, for example the [+] button in the top right corner, the theme picker or the settings button.") The toggle-all and toggle-individual buttons both need done at once, since we want them to look like they go together. This changes them from both being [+/-] to both being arrows. Settings and Help are also migrated, so that the whole group can benefit from being described using actual words. Additionally, the Help button is only shown on SERPs, not all the time. This is done for two major reasons: * Most of what's in there is search-related. The things that aren't are keyboard commands, and the search box tells you about that anyway. Pressing ? will temporarily show the button and its popover. * I'm trading it off by showing the help button, even on mobile. It's useful since you can use the search engine suggestions there. * The three buttons were causing line wrapping on too many desktop layouts.

Unify scraped examples with other code examples

2024-08-30T22:12:16+00:00

Unify run button display with "copy code" button and with mdbook buttons

2024-08-05T09:04:50+00:00

Fix bad color for setting cog in ayu theme

2024-05-05T18:07:12+00:00

Default to light theme is JS is enabled but not working

2024-04-03T12:27:19+00:00

Stop using the trigram of heaven as a hamburger button

2023-12-18T20:56:55+00:00

It doesn't look quite right, because the lines are too far apart, and it's not going to be announced by screenreaders as a menu button, since that's not what the symbol means. This adds a real tooltip and uses a better drawing of the icon.

Add back the column

2023-12-18T19:42:24+00:00

rustdoc: allow resizing the sidebar

2023-10-11T17:26:36+00:00

rustdoc: merge theme css into rustdoc.css

2023-09-15T14:40:17+00:00

Based on https://github.com/rust-lang/rust/pull/115812#issuecomment-1717960119 Having them in separate files used to make more sense, before the migration to CSS variables made the theme files as small as they are nowadays. This is already how docs.rs and mdBook do it.

rustdoc: use `src` consistently over `source` in code

2023-07-14T23:38:01+00:00

The CSS uses an inconsistent mix of both. This commit switches it to always use `src`.