0d156f223a
Unify scraped examples with other code examples
2024-08-31 00:12:16 +02:00
a282e520b2
Unify run button display with "copy code" button and with mdbook buttons
2024-08-05 11:04:50 +02:00
0cbebd07ee
Fix bad color for setting cog in ayu theme
2024-05-05 20:07:12 +02:00
2edc54c830
Default to light theme is JS is enabled but not working
2024-04-03 14:27:19 +02:00
c3e29ea5e9
Stop using the trigram of heaven as a hamburger button
...
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.
2023-12-18 13:56:55 -07:00
bd14fb68da
Add back the column
2023-12-18 12:42:24 -07:00
0983438faa
rustdoc: allow resizing the sidebar
2023-10-11 10:26:36 -07:00
7e86fd61e8
rustdoc: merge theme css into rustdoc.css
...
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.
2023-09-15 07:40:17 -07:00
34bc8fbea3
rustdoc: use src consistently over source in code
...
The CSS uses an inconsistent mix of both. This commit switches
it to always use `src`.
2023-07-14 16:38:01 -07:00
303653ef65
rustdoc: use javascript to layout notable traits popups
...
Fixes #102576
2022-11-07 22:45:24 -07:00
4e1abcda1b
rustdoc: remove unused .sidebar-logo DOM on source pages
2022-10-24 10:47:24 -07:00
f6dd4708cf
rustdoc: improve appearance of source page navigation bar
...
This commit changes things so that the search bar is exactly centered between
the top of the page and the top of the source code content area.
2022-10-20 13:31:06 -07:00
e8762757c3
Remove theme picker button
2022-05-14 17:21:52 +02:00
d7e998dd14
Rename ID "main" into "main-content"
2021-12-02 14:17:20 +01:00
a4fe76ff7c
Hide search bar in noscript.css
...
Also, remove the highlighting of the search bar in disabled state. This
reduces flicker when loading a page.
2021-10-31 12:41:06 -07:00
e5c24ba400
Clean up rustdoc static files
2021-07-07 17:52:18 +02:00
Guillaume Gomez