Greasy Fork镜像

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

   Auteur

   NaturelLee

   Nombre d'installations quotidiennes

   0

   Nombre d'installations

   9

   Évaluations

   0 0 0

   Créer

   2021-12-17

   Mis à jour

   2022-02-08

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

   Auteur

   Eric Toombs

   Nombre d'installations quotidiennes

   0

   Nombre d'installations

   4

   Évaluations

   0 0 0

   Créer

   2022-06-26

   Mis à jour

   2022-06-26

4. 自动跳转 Rust Std 文档到中文翻译版本 JS - 自动跳转 Rust Std 文档到 Rustwiki 的中文翻译版本

   Auteur

   xxnuo

   Nombre d'installations quotidiennes

   0

   Nombre d'installations

   28

   Évaluations

   0 0 0

   Créer

   2022-08-04

   Mis à jour

   2022-08-04

5. 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.

   Auteur

   Fibert Loyee

   Nombre d'installations quotidiennes

   0

   Nombre d'installations

   1 462

   Évaluations

   3 0 0

   Créer

   2023-01-06

   Mis à jour

   2024-01-12

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

   Auteur

   NayamiOR

   Nombre d'installations quotidiennes

   0

   Nombre d'installations

   2

   Évaluations

   0 0 0

   Créer

   2023-08-26

   Mis à jour

   2023-08-26

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

   Auteur

   nazmulidris

   Nombre d'installations quotidiennes

   0

   Nombre d'installations

   6

   Évaluations

   0 0 0

   Créer

   2024-03-14

   Mis à jour

   2024-12-05

Publiez un script que vous avez écrit (ou Apprenez à scripter)