64d01f47fa
Some long lines in docs were causing a zoom, and then the text font was smaller than it should be. Some styles have been fixed to remove the zoom and keep the original ratio.
183 lines
3.4 KiB
CSS
183 lines
3.4 KiB
CSS
body {
|
|
margin: 1em 2em;
|
|
font-family: verdana, sans-serif;
|
|
font-size: 12px;
|
|
}
|
|
div.sectionbody, #author, #revnumber, #revdate, #revremark, #toctitle, #footer {
|
|
font-family: verdana, sans-serif;
|
|
}
|
|
a, a:visited, a:hover, a:active {
|
|
color: #00c;
|
|
text-decoration: none;
|
|
}
|
|
em {
|
|
color: #252;
|
|
}
|
|
strong {
|
|
color: #000;
|
|
}
|
|
tt {
|
|
color: #366;
|
|
}
|
|
#author {
|
|
color: #555;
|
|
}
|
|
#toc {
|
|
line-height: 1.4em;
|
|
}
|
|
#toctitle {
|
|
margin-bottom: .6em;
|
|
color: #555;
|
|
}
|
|
div.toclevel0, div.toclevel1 {
|
|
font-size: 1.1em;
|
|
}
|
|
div.toclevel2, div.toclevel3, div.toclevel4 {
|
|
font-size: 1em;
|
|
}
|
|
h1, h2, h3, h4, h5, h6 {
|
|
margin: 1.2em 0;
|
|
}
|
|
h1 {
|
|
padding: 1.2em;
|
|
border: solid 1px #c0d0ff;
|
|
border-radius: 8px;
|
|
box-shadow: 1px 1px 3px #aac;
|
|
background: #ddeaee;
|
|
background: -moz-linear-gradient(#bbddff, #eefaff);
|
|
background: -webkit-linear-gradient(#bbddff, #eefaff);
|
|
background: linear-gradient(#bbddff, #eefaff);
|
|
color: #224b8d;
|
|
font-size: 2.2em;
|
|
text-align: center;
|
|
}
|
|
h2 {
|
|
padding: .5em;
|
|
border: solid 1px #d0d0d0;
|
|
border-radius: 6px;
|
|
box-shadow: 1px 1px 2px #bbb;
|
|
background: #f2f2f2;
|
|
background: -moz-linear-gradient(#e0e0e0, #f6f6f6);
|
|
background: -webkit-linear-gradient(#e0e0e0, #f6f6f6);
|
|
background: linear-gradient(#e0e0e0, #f6f6f6);
|
|
color: #444;
|
|
font-size: 1.7em;
|
|
}
|
|
h3 {
|
|
border: none;
|
|
margin: .7em 0 1em 0;
|
|
color: #555;
|
|
font-size: 1.5em;
|
|
}
|
|
h4 {
|
|
color: #555;
|
|
font-size: 1.3em;
|
|
}
|
|
h5 {
|
|
color: #555;
|
|
font-size: 1.2em;
|
|
}
|
|
span.command {
|
|
padding: .2em .5em;
|
|
border: solid 1px #ccc;
|
|
margin-right: 12px;
|
|
background: #eee;
|
|
font-size: 1.1em;
|
|
}
|
|
p.table {
|
|
margin-top: 0;
|
|
margin-bottom: 0;
|
|
}
|
|
div.listingblock > div.content {
|
|
border: solid 1px #e2e2e2;
|
|
border-radius: 4px;
|
|
background: #fbfbfb;
|
|
}
|
|
div.tableblock > table {
|
|
border: 2px solid #888;
|
|
}
|
|
.listingblock pre {
|
|
white-space: pre-wrap;
|
|
word-wrap: break-word;
|
|
}
|
|
table th {
|
|
background: #fbfbfb;
|
|
color: #000;
|
|
font-size: 1.1em;
|
|
}
|
|
.tableblock table th, .tableblock table td {
|
|
border: solid 1px #bbb;
|
|
}
|
|
div.title {
|
|
color: #525252;
|
|
}
|
|
div.admonitionblock .icon {
|
|
text-decoration: none;
|
|
}
|
|
dt.hdlist1 {
|
|
margin-bottom: .5em;
|
|
color: #252;
|
|
}
|
|
.ulist {
|
|
word-wrap: break-word;
|
|
}
|
|
.key {
|
|
padding: 0 .3em;
|
|
border-top: solid 1px #d5d5e5;
|
|
border-left: solid 1px #d5d5e5;
|
|
border-bottom: solid 1px #a5a5b5;
|
|
border-right: solid 1px #a5a5b5;
|
|
margin: 0 2px;
|
|
background: #eef;
|
|
font-family: serif, Helvetica, arial;
|
|
font-size: 1.1em;
|
|
line-height: 1.5em;
|
|
}
|
|
.key.ctrl {
|
|
border-top: solid 1px #dfd0d0;
|
|
border-left: solid 1px #dfd0d0;
|
|
border-bottom: solid 1px #afa0a0;
|
|
border-right: solid 1px #afa0a0;
|
|
background: #fff0f0;
|
|
font-variant: small-caps;
|
|
}
|
|
.key.alt {
|
|
border-top: solid 1px #dfbbab;
|
|
border-left: solid 1px #dfbbab;
|
|
border-bottom: solid 1px #af8b7b;
|
|
border-right: solid 1px #af8b7b;
|
|
background: #ffdbcb;
|
|
font-variant: small-caps;
|
|
}
|
|
.key.shift {
|
|
border-top: solid 1px #d5d5d5;
|
|
border-left: solid 1px #d5d5d5;
|
|
border-bottom: solid 1px #a5a5a5;
|
|
border-right: solid 1px #a5a5a5;
|
|
background: #f5f5f5;
|
|
font-variant: small-caps;
|
|
}
|
|
.key.other {
|
|
border-top: solid 1px #d0e0d0;
|
|
border-left: solid 1px #d0e0d0;
|
|
border-bottom: solid 1px #a0b0a0;
|
|
border-right: solid 1px #a0b0a0;
|
|
background: #eafaea;
|
|
font-variant: small-caps;
|
|
}
|
|
.keyplus {
|
|
font-size: .8em;
|
|
}
|
|
.hexa {
|
|
padding: 0 .2em;
|
|
border: solid 1px #88b;
|
|
margin: 0 .2em;
|
|
color: #007;
|
|
font-family: monospace;
|
|
font-size: .85em;
|
|
font-variant: small-caps;
|
|
}
|
|
#footer {
|
|
border-top: 1px solid silver;
|
|
}
|