diff options
Diffstat (limited to 'assets/common.css')
-rw-r--r-- | assets/common.css | 119 |
1 files changed, 0 insertions, 119 deletions
diff --git a/assets/common.css b/assets/common.css deleted file mode 100644 index da6a1f6..0000000 --- a/assets/common.css +++ /dev/null @@ -1,119 +0,0 @@ -/* 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; - } -} |