html, body {
font-family: sans-serif;
font-size: 100%;
color: #181818;
}
body {
margin-top: 0px;
margin-left: 0px;
margin-right: 0px;
}
h1, h2, h3, h4, h5, h5 {
font-family: helvetica, sans-serif;
font-weight: normal;
margin-left: 8px;
margin-right: 8px;
color: #008000;
margin-top: 10px;
margin-bottom: 10px;
}
h1 {
font-size: 16px;
font-weight: bold;
}
h3 {
color: #006000;
font-style: italic;
}
p {
margin-left: 8px;
margin-right: 8px;
margin-bottom: 0.5em;
}
p {
max-width: 750px;
}
p.p1 {
margin-left: 50px;
}
p.p2 {
margin-left: 70px
}
p.p3 {
margin-left: 100px;
}
div.toc {
text-align: center;
width: 100%;
}
li {
max-width: 710px;
}
pre {
margin-left: 8px;
}
li {
margin-left: 8px;
margin-right: 8px;
}
ul.list-wide li {
margin-bottom: 12px;
}
a {
color: #1030ff;
text-decoration: none;
}
a:visited {
color: #4080dd;
}
a:hover, a:focus, a:active {
color: red;
background-color: #ffe0e0;
text-decoration: underline;
}
a.func {
color: red;
text-decoration: none;
}
a.manpage {
color: red;
text-decoration: none;
}
a.file {
color: red;
text-decoration: none;
}
div.lmargin {
margin-left: 8px;
}
pre.code {
background-color: #f4f0f4;
font-size: 110%;
margin-left: 0px;
margin-right: 60px;
padding-top: 5px;
padding-bottom: 5px;
padding-left: 8px;
padding-right: 8px;
border: 1px solid #AADDAA;
}
strong, span.hl {
font-weight: bold;
color: #303030;
}
.cmd {
font-family: monospace;
color: darkgreen;
}
.code {
color: darkgreen;
}
.const {
font-family: monospace;
color: #330000;
}
.email {
font-family: monospace;
color: #000080;
}
.envvar {
font-family: monospace;
color: #330000;
}
.func {
font-family: serif;
font-style: italic;
color: #330000;
}
.man-page {
font-family: serif;
font-style: italic;
color: darkblue;
}
.pathname {
font-family: monospace;
color: darkgreen;
}
.url {
font-family: serif;
font-style: italic;
color: #440064;
}
.var {
font-family: serif;
font-style: italic;
color: #330000;
}
body {
background-color: #FFFFFF;
width: 600px;
}
b { color:#502000; }
i { color:#006000; }
h2 {
color:#A00000;
padding-top: 15px;
font-size: 100%;
font-weight: bold;
}
h3 {
color:#600000;
font-size: 100%;
padding-top: 10px;
padding-left: 20px;
}
span.top-link {
font-size: 70%;
}
hr.end-man-text {
height: 0px;
border-color: #ffffff;
width: 100%;
}
pre { font-family: monospace, courier; }
#a:link { text-decoration: none; color: blue; }
#a:visited { text-decoration: none; color: blue; }
a:hover { text-decoration: underline; color: red; }
a:active { text-decoration: underline; background-color: #FFD0D0; }
td p {
margin-top: 5px;
}
tr td:first-child {
width: 70px;
}
tr td:last-child {
}
table tr:nth-child(even) td:nth-child(2) {
padding-left: 20px;
}