Greasy Fork

Showing English results only. Show results for all languages.

2. Prettier rust docs JS - 改变doc.rust-lang.org、docs.rs文档style

   Author

   NaturelLee

   Daily installs

   0

   Total installs

   9

   Ratings

   0 0 0

   Created

   2021-12-17

   Updated

   2022-02-08

3. docsrs-toggle-panel JS - Uses a keyboard shortcut to toggle the left panel in docs.rs.

   Author

   Eric Toombs

   Daily installs

   0

   Total installs

   4

   Ratings

   0 0 0

   Created

   2022-06-26

   Updated

   2022-06-26

4. PlumFont - Replace Roboto, Segoe UI, Arial, and other fonts JS - Replace web page fonts with your preferred ones. Stop using Segoe UI, Arial, and Microsoft YaHei. Replace English numerals with the SF Pro and Inter fonts.

   Author

   Fibert Loyee

   Daily installs

   0

   Total installs

   1,462

   Ratings

   3 0 0

   Created

   2023-01-06

   Updated

   2024-01-12

5. Rust Doc to Chinese ver JS - Jump to chinese version of this doc page

   Author

   NayamiOR

   Daily installs

   0

   Total installs

   2

   Ratings

   0 0 0

   Created

   2023-08-26

   Updated

   2023-08-26

6. docs.rs font and size fixes JS - change the default fonts on rust docs sites

   Author

   nazmulidris

   Daily installs

   0

   Total installs

   6

   Ratings

   0 0 0

   Created

   2024-03-14

   Updated

   2024-12-05

Publish a script you've written (or learn how to write one)