📄 manual.css
字号:
/* * $Id: manual.css,v 1.1 2004/02/01 22:32:44 mikedemmer Exp $ */body { background: #FFFFFF; color: #000000; font-family: Arial, sans-serif; font-weight: normal; font-size: 14px; list-style: outside;}table { font-size: 14px;}a:link { color: #d3595e; text-decoration: none; font-weight: bold; } a:visited { color: #d3595e; text-decoration: none; font-weight: bold; }a:hover { text-decoration: underline; font-weight: bold; }b { font-weight: bold; }em { font-style: oblique;}h1 { font-size: 24px; font-weight: bold; }h2 { font-size: 18px; font-weight: bold;}h3 { font-size: 14px; font-weight: bold;}h4 { font-size: large; font-weight: normal; }sup { font-size: x-small;} sub { font-size: x-small;} code { font-family: monospace; font-size: medium;}pre { font-family: monospace; margin-left: 2em; }dt, dd, ul { margin-top: 0; margin-bottom: 0; }dt { font-weight: bold; }
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -