mirror of
https://github.com/mozilla/gecko-dev.git
synced 2025-01-24 13:52:37 +00:00
1964d95f58
change the default monospaced font size from 13 to 12