change the default fonts on rust docs sites
Version au 30/07/2024. Voir la dernière version.
Voici les versions de ce script où le code a été modifié. Voir toutes les versions.
