📄 format.css
字号:
body {
margin: 0;
padding: 0;
font-family: verdana, tahoma, helvetica, arial, sans-serif;
font-size: 85%;
}
h1 {
font-family: "trebuchet ms", tahoma, sans-serif;
color: #a0a0ff;
border-bottom: 1px solid #a0a0ff;
font-size: 150%;
}
h1 a {
display: block;
margin: 0;
width: 100%;
padding: 0.2em;
text-decoration: none;
width: auto;
}
h1 a:hover {
text-decoration: underline;
color: black;
}
p {
font-size: 1em;
line-spacing: 0.2em;
line-height: 1.2em;
}
pre {
font-size: 85%;
}
img{
border:0;
}
#body {
margin: 1em;
}
div.menu {
width:100%;
padding: 0;
background-color: #fcfcff;
}
div.menu a {
display: block;
margin: 0;
width: 100%;
padding: 0.2em;
color: black;
text-decoration: none;
width: auto;
}
div.menu a:hover {
background: #f0f0ff;
color: black;
}
div.menu1 {
width:100%;
padding: 0;
background-color: #fcfcff;
}
div.menu1 a {
display: block;
margin: 0;
width: 100%;
padding: 0.2em;
color: black;
text-decoration: none;
padding-left:15px;
background-position:left;
background-repeat:no-repeat;
background-image:url(/images/lite.gif);
}
div.menu1 a {
width: auto;
}
div.menu1 a:hover {
background: #d2bfef;
color: black;
background-position:left;
background-repeat:no-repeat;
background-image:url(/images/dark.gif);
}
div.separater {
padding-top:15px;
}
.date{
PADDING-LEFT: 10px;
PADDING-TOP: 2px;
PADDING-BOTTOM: 2px;
COLOR: #888d91;
}
.abstract{
PADDING-TOP: 15px;
PADDING-BOTTOM: 5px;
FONT-STYLE: italic;
}
pre {
width:580px;
overflow-x:auto;
overflow-y:auto;
border-width:1px;
border-color:#CCCCCC;
border-style:solid;
}
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -