☰
☰

Les résultats pour toutes les langues sont affichés. Afficher uniquement les résultats pour Français

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

    Auteur
    NaturelLee
    Installations quotidiennes
    0
    Installations (total)
    9
    Notes
    0 0 0
    Créé
    17/12/2021
    Mis à jour
    08/02/2022

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

    Auteur
    Eric Toombs
    Installations quotidiennes
    0
    Installations (total)
    4
    Notes
    0 0 0
    Créé
    26/06/2022
    Mis à jour
    26/06/2022

  5. PlumFont - Remplacez Roboto, Segoe UI, Arial et autres polices JS - Remplacez les polices des pages Web par celles de votre choix. Arrêtez d'utiliser Segoe UI, Arial et Microsoft YaHei. Remplacez les chiffres anglais par les polices SF Pro et Inter.

    Auteur
    Fibert Loyee
    Installations quotidiennes
    0
    Installations (total)
    1 466
    Notes
    3 0 0
    Créé
    06/01/2023
    Mis à jour
    12/01/2024

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

    Auteur
    NayamiOR
    Installations quotidiennes
    0
    Installations (total)
    2
    Notes
    0 0 0
    Créé
    26/08/2023
    Mis à jour
    26/08/2023

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

    Auteur
    nazmulidris
    Installations quotidiennes
    0
    Installations (total)
    6
    Notes
    0 0 0
    Créé
    14/03/2024
    Mis à jour
    05/12/2024

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

长期地址
遇到问题？请前往 GitHub 提 Issues。