boost 官网 www.boost.org 网页字体太小, 阅读时极不方便。
按照如下步骤可以自由设置网页字体,并应用到所有相关页面。
-
在chrome中安装插件stylish
-
点击选项,开始编写自己的css格式
-
如下图所示
注意,编写格式时,通过右键->检查
,可以查看当前页面源码,定位到目标区域的CSS代码,将其拷贝到自己的CSS格式文件中并加以修改即可。
p, div.document, div.footer {
text-align: left;
font-size: 12pt;
line-height: 1.15;
}
div.highlight, .programlisting, .screen {
font-size: 12pt;
display: block;
margin: 1pc 4% 0pc 4%;
padding: 0.5pc 0.5pc 0.5pc 0.5pc;
}
pre {
display: block;
font-family: Consolas;
white-space: pre;
margin: 1em 0px;
}