Skip to content

Instantly share code, notes, and snippets.

@wdmcourses
Last active August 21, 2023 10:36
Show Gist options
  • Select an option

  • Save wdmcourses/e0d79f7a298fa17481fdbe89e9aa6f31 to your computer and use it in GitHub Desktop.

Select an option

Save wdmcourses/e0d79f7a298fa17481fdbe89e9aa6f31 to your computer and use it in GitHub Desktop.
How to Change Safari Web Inspector Font
/*
1. Reboot & hold Cmd+R at the chimes
2. Open Terminal Utility
3. Type csrutil disable; reboot
4. Add lines to end of file: /System/Library/PrivateFrameworks/WebInspectorUI.framework/Versions/Current/Resources/Main.css
*/
.tree-outline.dom li.parent{line-height:21px}
.cm-s-default,.syntax-highlighted{font-size:15px;}
body, #console-messages{font-size:15px;}
@hkarakose

Copy link
Copy Markdown

You may just consider using keyboard shortcuts

https://apple.stackexchange.com/a/463398/146486

@wdmcourses

wdmcourses commented Aug 21, 2023

Copy link
Copy Markdown
Author

You may just consider using keyboard shortcuts

But then you will get an increase in all interface fonts, and this is wrong.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment