☰
☰

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

    Аўтар
    NaturelLee
    Daily installs
    0
    Total installs
    9
    Рэйтынг
    0 0 0
    Створаны
    17.12.2021
    Абноўлены
    08.02.2022

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

    Аўтар
    Eric Toombs
    Daily installs
    0
    Total installs
    4
    Рэйтынг
    0 0 0
    Створаны
    26.06.2022
    Абноўлены
    26.06.2022

  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.

    Аўтар
    Fibert Loyee
    Daily installs
    0
    Total installs
    1,541
    Рэйтынг
    3 0 0
    Створаны
    06.01.2023
    Абноўлены
    12.01.2024

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

    Аўтар
    NayamiOR
    Daily installs
    0
    Total installs
    2
    Рэйтынг
    0 0 0
    Створаны
    26.08.2023
    Абноўлены
    26.08.2023

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

    Аўтар
    nazmulidris
    Daily installs
    0
    Total installs
    6
    Рэйтынг
    0 0 0
    Створаны
    14.03.2024
    Абноўлены
    05.12.2024

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