更改Chrome Developer Tools的字体
本子是15寸的1080p的屏幕,导致chrome F12的工具里字特别小,于是找了找修改大小的方法:我的系统是win8 64位,chrome的版本是32.0.1700.107 m,改动是针对Custom.css进行的,文件位置是在:C:\Users\\AppData\Local\Google\Chrome\User Data\Default\User StyleSheets里,至于linux下
文章共389字 · 阅读需要大约2分钟
一键AI生成摘要,助你高效阅读
问答
·
本子是15寸的1080p的屏幕,导致chrome F12的工具里字特别小,于是找了找修改大小的方法:
我的系统是win8 64位,chrome的版本是32.0.1700.107 m,改动是针对Custom.css进行的,文件位置是在:
C:\Users\<user>\AppData\Local\Google\Chrome\User Data\Default\User StyleSheets
至于linux下是在:
~/.config/chromium/Default/User StyleSheets
win下的修改如下
body.platform-windows .monospace, body.platform-windows .source-code {
font-size: 16px !important;
font-family: Consolas, Lucida Console, monospace;
}
linux下
body.platform-linux .monospace, body.platform-linux .source-code {
font-size: 16px !important;
font-family: dejavu sans mono, monospace;
}
font-size是字体大小,font-family是字体。
你甚至可以改变developer tool的代码主题
看起来特别虎
嗯,就是这样
更多推荐
已为社区贡献1条内容
所有评论(0)