☰
☰

Showing results for all languages. Show Bahasa Indonesia results only.

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

    Penulis
    NaturelLee
    Pemasangan harian
    0
    Total pemasangan
    9
    Nilai
    0 0 0
    Dibuat
    17 Desember 2021
    Diperbarui
    08 Februari 2022

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

    Penulis
    Eric Toombs
    Pemasangan harian
    0
    Total pemasangan
    4
    Nilai
    0 0 0
    Dibuat
    26 Juni 2022
    Diperbarui
    26 Juni 2022

  5. PlumFont - Ganti Roboto, Segoe UI, Arial, dan font lainnya JS - Ganti font halaman web dengan font kesukaan Anda. Hentikan penggunaan Segoe UI, Arial, dan Microsoft YaHei. Ganti angka bahasa Inggris dengan font SF Pro dan Inter.

    Penulis
    Fibert Loyee
    Pemasangan harian
    0
    Total pemasangan
    1.466
    Nilai
    3 0 0
    Dibuat
    06 Januari 2023
    Diperbarui
    12 Januari 2024

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

    Penulis
    NayamiOR
    Pemasangan harian
    0
    Total pemasangan
    2
    Nilai
    0 0 0
    Dibuat
    26 Agustus 2023
    Diperbarui
    26 Agustus 2023

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

    Penulis
    nazmulidris
    Pemasangan harian
    0
    Total pemasangan
    6
    Nilai
    0 0 0
    Dibuat
    14 Maret 2024
    Diperbarui
    05 Desember 2024

Publish a script you've written (atau pelajari bagaimana cara membuatnya)

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