/* This file is part of MXE. See LICENSE.md for licensing information. */ body { font-size: 11pt; margin-top: 0em; } code { background-color: #f5f5f5; } h1, h2, h3 { font-family: sans-serif; } h2 { font-size: 14pt; } h3 { font-size: 11pt; background-color: #eee; } ul { padding-left: 2em; } li, dt { margin-bottom: 0.8em; } .compact-list li { margin-bottom: 0em; } .usage dt { font-family: monospace; } dd { margin-bottom: 1em; } table { border-collapse: collapse; } table.old { border-collapse: separate; } table.translation td { padding-left: 0.5em; padding-right: 0.5em; } td, th { background-color: #f9f9f9; border: 1px solid #aaa; padding: 0.2em; } dt, .old td { background-color: #eee; padding: 0.2em; border: 0px; } th { background-color: #f2f2f2; text-align: center; } th.row { background: #ececec; vertical-align: middle; text-align: left; } pre { font-size: 8pt; border: thin dotted #ccc; padding: 2pt; } img { border: thin solid #000; } #navigation a { text-decoration: none; color: #00f; } #navigation a:visited { text-decoration: none; color: #009; } #navigation ul { padding-left: 0em; margin-left: 0em; margin-top: 1.5em; margin-bottom: 0em; list-style-type: none; } #navigation li { margin-bottom: 0.2em; }@media screen, handheld { h1 { font-size: 12pt; margin-top: 0em; } h2 { margin-top: 0em; padding-top: 1em; } #navigation { position: fixed; float: left; /* hack for ancient browsers which don't support "position: fixed;" */ margin-top: 1em; margin-left: 1em; padding-left: 1em; padding-right: 1em; padding-top: 1em; padding-bottom: 1em; width: 14em; background-color: #afa; } .section { width: 30em; margin-left: 19em; margin-bottom: 100%; } #package-list { width: 40em; }}
/* This file is part of MXE. See LICENSE.md for licensing information. */
body {
font-size: 11pt;
margin-top: 0em;
}
code {
background-color: #f5f5f5;
}
h1, h2, h3 {
font-family: sans-serif;
}
h2 {
font-size: 14pt;
}
h3 {
font-size: 11pt;
background-color: #eee;
}
ul {
padding-left: 2em;
}
li, dt {
margin-bottom: 0.8em;
}
.compact-list li {
margin-bottom: 0em;
}
.usage dt {
font-family: monospace;
}
dd {
margin-bottom: 1em;
}
table {
border-collapse: collapse;
}
table.old {
border-collapse: separate;
}
table.translation td {
padding-left: 0.5em;
padding-right: 0.5em;
}
td, th {
background-color: #f9f9f9;
border: 1px solid #aaa;
padding: 0.2em;
}
dt, .old td {
background-color: #eee;
padding: 0.2em;
border: 0px;
}
th {
background-color: #f2f2f2;
text-align: center;
}
th.row {
background: #ececec;
vertical-align: middle;
text-align: left;
}
pre {
font-size: 8pt;
border: thin dotted #ccc;
padding: 2pt;
}
img {
border: thin solid #000;
}
#navigation a {
text-decoration: none;
color: #00f;
}
#navigation a:visited {
text-decoration: none;
color: #009;
}
#navigation ul {
padding-left: 0em;
margin-left: 0em;
margin-top: 1.5em;
margin-bottom: 0em;
list-style-type: none;
}
#navigation li {
margin-bottom: 0.2em;
}
@media screen, handheld {
h1 {
font-size: 12pt;
margin-top: 0em;
}
h2 {
margin-top: 0em;
padding-top: 1em;
}
#navigation {
position: fixed;
float: left; /* hack for ancient browsers
which don't support "position: fixed;" */
margin-top: 1em;
margin-left: 1em;
padding-left: 1em;
padding-right: 1em;
padding-top: 1em;
padding-bottom: 1em;
width: 14em;
background-color: #afa;
}
.section {
width: 30em;
margin-left: 19em;
margin-bottom: 100%;
}
#package-list {
width: 40em;
}
}