How to set the font family of web developer tools? How to save the font size persistently, instead of having to adjust it every time you open it (ctrl+scroll) ?

Can I set the font family and save font size of web developer tools?

Os9 September 20, 2024, 2:45am 1

How to set the font family of web developer tools?
How to save the font size persistently, instead of having to adjust it every time you open it (ctrl+scroll) ?

Topic		Replies	Views
Can I set the font with firefox web developer tools? Developer Tools	11	17831	September 17, 2023
How to change web develop tools font and size? Developer Tools issue	1	144	March 25, 2025
Refined developer-tools font customization settings? Developer Tools	1	665	August 27, 2019
Console - font size Developer Tools	1	1875	May 29, 2024
Devtools using default font rather than monospace Developer Tools issue	5	2031	August 11, 2020