余裕のある感じを出すため、paddingを設定。
pre {
border-width: thin;
border-color: #c0c0c0;
border-style: solid;
background-color: #f0f0f0;
padding: 0.5em;
}
pre {
border-width: thin;
border-color: #c0c0c0;
border-style: solid;
background-color: #f0f0f0;
padding: 0.5em;
}
initcall_blacklist=clocksource_done_bootingCentOS7なら/etc/default/grubのGRUB_CMD_LINE_LINUX行に以下のように設定を追加。
GRUB_CMDLINE_LINUX="vconsole.keymap=us vconsole.font=latarcyrheb-sun16 rhgb quiet initcall_blacklist=clocksource_done_booting"そののち、次のコマンドでgrub.confに反映してリブート。
# grub2-mkconfig -o /boot/grub2/grub.cfg
$ cat .fonts.conf <?xml version="1.0"?> <!DOCTYPE fontconfig SYSTEM "fonts.dtd"> <fontconfig> <match target="font"> <edit mode="assign" name="hinting"> <bool>false</bool> </edit> </match> <match target="font"> <edit mode="assign" name="antialias"> <bool>true</bool> </edit> </match> </fontconfig>