• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1h1 {
2    font-family: serif;
3    color: #222266;
4}
5
6h2 {
7    font-family: serif;
8    border-top-style: solid;
9    border-top-width: 2px;
10    border-color: #ccccdd;
11    padding-top: 12px;
12    margin-top: 48px;
13    margin-bottom: 2px;
14    color: #222266;
15}
16
17h3 {
18    font-family: serif;
19    color: #222266;
20}
21
22@media print {
23    table {
24        font-size: 8pt;
25    }
26}
27
28@media screen {
29    table {
30        font-size: 10pt;
31    }
32}
33
34table th {
35    font-family: sans-serif;
36    background: #aaaaff;
37}
38
39table {
40    border-collapse: collapse;
41}
42
43table td {
44    font-family: sans-serif;
45    border-top-style: solid;
46    border-bottom-style: solid;
47    border-width: 1px;
48    border-color: #aaaaff;
49    padding-top: 4px;
50    padding-bottom: 4px;
51    padding-left: 2px;
52    padding-right: 2px;
53    background: #eeeeff;
54}
55
56
57/* the mnemonic guide */
58
59table.letters {
60    margin-top: 24px;
61    margin-bottom: 24px;
62    margin-left: 48px;
63    margin-right: 48px;
64}
65
66table.letters td:first-child {
67    font-family: monospace;
68    width: 10%;
69    text-align: center;
70}
71
72table.letters td:first-child + td {
73    width: 10%;
74    text-align: center;
75}
76
77table.letters td:first-child + td + td {
78    width: 80%;
79}
80
81
82/* the formats, per se */
83
84table.format {
85    background: #aaaaaa;
86    border-collapse: collapse;
87    margin-top: 24px;
88    margin-bottom: 24px;
89    margin-left: 48px;
90    margin-right: 48px;
91}
92
93table.format td {
94    font-family: monospace;
95}
96
97table.format td + td i {
98    font-family: sans-serif;
99}
100
101table.format td sub {
102    font-family: sans-serif;
103}
104
105table.format td sub {
106    font-family: sans-serif;
107    font-style: italic;
108    font-size: 70%
109}
110
111table.format th:first-child {
112    width: 28%;
113}
114
115table.format th:first-child + th {
116    width: 5%;
117}
118
119table.format th:first-child + th + th {
120    width: 45%;
121}
122
123table.format th:first-child + th + th + th {
124    width: 22%;
125}
126
127table.format p {
128    margin-bottom: 0pt;
129}