assets/common.css


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120

/* This file is part of MXE.
 * See index.html for further 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;
    }
}