summaryrefslogtreecommitdiffstats
path: root/assets/common.css
diff options
context:
space:
mode:
Diffstat (limited to 'assets/common.css')
-rw-r--r--assets/common.css119
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;
- }
-}