change the default fonts on rust docs sites
נכון ליום 02-12-2024. ראה הגרסה האחרונה.
יש גרסאות של סקריפט זה עם קוד מעודכן. הצג את כל הגרסאות
