annotate pima.css @ 14:95b1d1a9497d draft

Uploaded
author greg
date Fri, 17 Mar 2023 17:23:43 +0000
parents 0a558f444c98
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
0
0a558f444c98 Uploaded
greg
parents:
diff changeset
1 html {
0a558f444c98 Uploaded
greg
parents:
diff changeset
2 line-height: 1.5;
0a558f444c98 Uploaded
greg
parents:
diff changeset
3 font-family: Georgia, serif;
0a558f444c98 Uploaded
greg
parents:
diff changeset
4 font-size: 20px;
0a558f444c98 Uploaded
greg
parents:
diff changeset
5 color: #1a1a1a;
0a558f444c98 Uploaded
greg
parents:
diff changeset
6 background-color: #fdfdfd;
0a558f444c98 Uploaded
greg
parents:
diff changeset
7 }
0a558f444c98 Uploaded
greg
parents:
diff changeset
8 body {
0a558f444c98 Uploaded
greg
parents:
diff changeset
9 margin: 0 auto;
0a558f444c98 Uploaded
greg
parents:
diff changeset
10 max-width: 50em;
0a558f444c98 Uploaded
greg
parents:
diff changeset
11 padding-left: 20px;
0a558f444c98 Uploaded
greg
parents:
diff changeset
12 padding-right: 20px;
0a558f444c98 Uploaded
greg
parents:
diff changeset
13 padding-top: 20px;
0a558f444c98 Uploaded
greg
parents:
diff changeset
14 padding-bottom: 20px;
0a558f444c98 Uploaded
greg
parents:
diff changeset
15 hyphens: auto;
0a558f444c98 Uploaded
greg
parents:
diff changeset
16 overflow-wrap: break-word;
0a558f444c98 Uploaded
greg
parents:
diff changeset
17 font-kerning: normal;
0a558f444c98 Uploaded
greg
parents:
diff changeset
18 }
0a558f444c98 Uploaded
greg
parents:
diff changeset
19 @media print {
0a558f444c98 Uploaded
greg
parents:
diff changeset
20 body {
0a558f444c98 Uploaded
greg
parents:
diff changeset
21 background-color: transparent;
0a558f444c98 Uploaded
greg
parents:
diff changeset
22 color: black;
0a558f444c98 Uploaded
greg
parents:
diff changeset
23 font-size: 10pt;
0a558f444c98 Uploaded
greg
parents:
diff changeset
24 }
0a558f444c98 Uploaded
greg
parents:
diff changeset
25 p, h2, h3 {
0a558f444c98 Uploaded
greg
parents:
diff changeset
26 orphans: 3;
0a558f444c98 Uploaded
greg
parents:
diff changeset
27 widows: 3;
0a558f444c98 Uploaded
greg
parents:
diff changeset
28 }
0a558f444c98 Uploaded
greg
parents:
diff changeset
29 h2, h3, h4 {
0a558f444c98 Uploaded
greg
parents:
diff changeset
30 page-break-after: avoid;
0a558f444c98 Uploaded
greg
parents:
diff changeset
31 }
0a558f444c98 Uploaded
greg
parents:
diff changeset
32 }
0a558f444c98 Uploaded
greg
parents:
diff changeset
33 p {
0a558f444c98 Uploaded
greg
parents:
diff changeset
34 margin: 1em 0;
0a558f444c98 Uploaded
greg
parents:
diff changeset
35 }
0a558f444c98 Uploaded
greg
parents:
diff changeset
36 a {
0a558f444c98 Uploaded
greg
parents:
diff changeset
37 color: #3333FF;
0a558f444c98 Uploaded
greg
parents:
diff changeset
38 }
0a558f444c98 Uploaded
greg
parents:
diff changeset
39 a:visited {
0a558f444c98 Uploaded
greg
parents:
diff changeset
40 color: #1a1a1a;
0a558f444c98 Uploaded
greg
parents:
diff changeset
41 }
0a558f444c98 Uploaded
greg
parents:
diff changeset
42 img {
0a558f444c98 Uploaded
greg
parents:
diff changeset
43 max-width: 100%;
0a558f444c98 Uploaded
greg
parents:
diff changeset
44 }
0a558f444c98 Uploaded
greg
parents:
diff changeset
45 h1, h2, h3, h4, h5, h6 {
0a558f444c98 Uploaded
greg
parents:
diff changeset
46 margin-top: 1.4em;
0a558f444c98 Uploaded
greg
parents:
diff changeset
47 }
0a558f444c98 Uploaded
greg
parents:
diff changeset
48 h5, h6 {
0a558f444c98 Uploaded
greg
parents:
diff changeset
49 font-size: .8em;
0a558f444c98 Uploaded
greg
parents:
diff changeset
50 font-style: italic;
0a558f444c98 Uploaded
greg
parents:
diff changeset
51 }
0a558f444c98 Uploaded
greg
parents:
diff changeset
52 h6 {
0a558f444c98 Uploaded
greg
parents:
diff changeset
53 font-weight: normal;
0a558f444c98 Uploaded
greg
parents:
diff changeset
54 }
0a558f444c98 Uploaded
greg
parents:
diff changeset
55 ol, ul {
0a558f444c98 Uploaded
greg
parents:
diff changeset
56 padding-left: 1.7em;
0a558f444c98 Uploaded
greg
parents:
diff changeset
57 margin-top: 1em;
0a558f444c98 Uploaded
greg
parents:
diff changeset
58 }
0a558f444c98 Uploaded
greg
parents:
diff changeset
59 li > ol, li > ul {
0a558f444c98 Uploaded
greg
parents:
diff changeset
60 margin-top: 0;
0a558f444c98 Uploaded
greg
parents:
diff changeset
61 }
0a558f444c98 Uploaded
greg
parents:
diff changeset
62 blockquote {
0a558f444c98 Uploaded
greg
parents:
diff changeset
63 margin: 1em 0 1em 1.7em;
0a558f444c98 Uploaded
greg
parents:
diff changeset
64 padding-left: 1em;
0a558f444c98 Uploaded
greg
parents:
diff changeset
65 border-left: 2px solid #e6e6e6;
0a558f444c98 Uploaded
greg
parents:
diff changeset
66 color: #606060;
0a558f444c98 Uploaded
greg
parents:
diff changeset
67 }
0a558f444c98 Uploaded
greg
parents:
diff changeset
68 code {
0a558f444c98 Uploaded
greg
parents:
diff changeset
69 font-family: Menlo, Monaco, 'Lucida Console', Consolas, monospace;
0a558f444c98 Uploaded
greg
parents:
diff changeset
70 font-size: 85%;
0a558f444c98 Uploaded
greg
parents:
diff changeset
71 margin: 0;
0a558f444c98 Uploaded
greg
parents:
diff changeset
72 }
0a558f444c98 Uploaded
greg
parents:
diff changeset
73 pre {
0a558f444c98 Uploaded
greg
parents:
diff changeset
74 margin: 1em 0;
0a558f444c98 Uploaded
greg
parents:
diff changeset
75 overflow: auto;
0a558f444c98 Uploaded
greg
parents:
diff changeset
76 }
0a558f444c98 Uploaded
greg
parents:
diff changeset
77 pre code {
0a558f444c98 Uploaded
greg
parents:
diff changeset
78 padding: 0;
0a558f444c98 Uploaded
greg
parents:
diff changeset
79 overflow: visible;
0a558f444c98 Uploaded
greg
parents:
diff changeset
80 overflow-wrap: normal;
0a558f444c98 Uploaded
greg
parents:
diff changeset
81 }
0a558f444c98 Uploaded
greg
parents:
diff changeset
82 .sourceCode {
0a558f444c98 Uploaded
greg
parents:
diff changeset
83 background-color: transparent;
0a558f444c98 Uploaded
greg
parents:
diff changeset
84 overflow: visible;
0a558f444c98 Uploaded
greg
parents:
diff changeset
85 }
0a558f444c98 Uploaded
greg
parents:
diff changeset
86 hr {
0a558f444c98 Uploaded
greg
parents:
diff changeset
87 background-color: #1a1a1a;
0a558f444c98 Uploaded
greg
parents:
diff changeset
88 border: none;
0a558f444c98 Uploaded
greg
parents:
diff changeset
89 height: 1px;
0a558f444c98 Uploaded
greg
parents:
diff changeset
90 margin: 1em 0;
0a558f444c98 Uploaded
greg
parents:
diff changeset
91 }
0a558f444c98 Uploaded
greg
parents:
diff changeset
92 table {
0a558f444c98 Uploaded
greg
parents:
diff changeset
93 border-collapse: collapse;
0a558f444c98 Uploaded
greg
parents:
diff changeset
94 font-variant-numeric: lining-nums tabular-nums;
0a558f444c98 Uploaded
greg
parents:
diff changeset
95 /*
0a558f444c98 Uploaded
greg
parents:
diff changeset
96 margin-left: auto;
0a558f444c98 Uploaded
greg
parents:
diff changeset
97 margin-right: auto; */
0a558f444c98 Uploaded
greg
parents:
diff changeset
98 }
0a558f444c98 Uploaded
greg
parents:
diff changeset
99
0a558f444c98 Uploaded
greg
parents:
diff changeset
100 table caption {
0a558f444c98 Uploaded
greg
parents:
diff changeset
101 margin-bottom: 0.75em;
0a558f444c98 Uploaded
greg
parents:
diff changeset
102 }
0a558f444c98 Uploaded
greg
parents:
diff changeset
103 tbody {
0a558f444c98 Uploaded
greg
parents:
diff changeset
104 margin-top: 0.5em;
0a558f444c98 Uploaded
greg
parents:
diff changeset
105 border-top: 1px solid #1a1a1a;
0a558f444c98 Uploaded
greg
parents:
diff changeset
106 border-bottom: 1px solid #1a1a1a;
0a558f444c98 Uploaded
greg
parents:
diff changeset
107 text-align: center;
0a558f444c98 Uploaded
greg
parents:
diff changeset
108 }
0a558f444c98 Uploaded
greg
parents:
diff changeset
109 th {
0a558f444c98 Uploaded
greg
parents:
diff changeset
110 border-top: 1px solid #1a1a1a;
0a558f444c98 Uploaded
greg
parents:
diff changeset
111 padding: 0.25em 0.5em 0.25em 0.5em;
0a558f444c98 Uploaded
greg
parents:
diff changeset
112 }
0a558f444c98 Uploaded
greg
parents:
diff changeset
113 td {
0a558f444c98 Uploaded
greg
parents:
diff changeset
114 padding: 0.125em 0.5em 0.25em 0.5em;
0a558f444c98 Uploaded
greg
parents:
diff changeset
115
0a558f444c98 Uploaded
greg
parents:
diff changeset
116 }
0a558f444c98 Uploaded
greg
parents:
diff changeset
117
0a558f444c98 Uploaded
greg
parents:
diff changeset
118 tr:nth-child(even) {background: #CCC}
0a558f444c98 Uploaded
greg
parents:
diff changeset
119 tr:nth-child(odd) {background: #FFF}
0a558f444c98 Uploaded
greg
parents:
diff changeset
120
0a558f444c98 Uploaded
greg
parents:
diff changeset
121 header {
0a558f444c98 Uploaded
greg
parents:
diff changeset
122 margin-bottom: 4em;
0a558f444c98 Uploaded
greg
parents:
diff changeset
123 text-align: center;
0a558f444c98 Uploaded
greg
parents:
diff changeset
124 }
0a558f444c98 Uploaded
greg
parents:
diff changeset
125 #TOC li {
0a558f444c98 Uploaded
greg
parents:
diff changeset
126 list-style: none;
0a558f444c98 Uploaded
greg
parents:
diff changeset
127 }
0a558f444c98 Uploaded
greg
parents:
diff changeset
128 #TOC ul {
0a558f444c98 Uploaded
greg
parents:
diff changeset
129 padding-left: 1.3em;
0a558f444c98 Uploaded
greg
parents:
diff changeset
130 }
0a558f444c98 Uploaded
greg
parents:
diff changeset
131 #TOC > ul {
0a558f444c98 Uploaded
greg
parents:
diff changeset
132 padding-left: 0;
0a558f444c98 Uploaded
greg
parents:
diff changeset
133 }
0a558f444c98 Uploaded
greg
parents:
diff changeset
134 #TOC a:not(:hover) {
0a558f444c98 Uploaded
greg
parents:
diff changeset
135 text-decoration: none;
0a558f444c98 Uploaded
greg
parents:
diff changeset
136 }
0a558f444c98 Uploaded
greg
parents:
diff changeset
137 code{white-space: pre-wrap;}
0a558f444c98 Uploaded
greg
parents:
diff changeset
138 span.smallcaps{font-variant: small-caps;}
0a558f444c98 Uploaded
greg
parents:
diff changeset
139 span.underline{text-decoration: underline;}
0a558f444c98 Uploaded
greg
parents:
diff changeset
140 div.column{display: inline-block; vertical-align: top; width: 50%;}
0a558f444c98 Uploaded
greg
parents:
diff changeset
141 div.hanging-indent{margin-left: 1.5em; text-indent: -1.5em;}
0a558f444c98 Uploaded
greg
parents:
diff changeset
142 ul.task-list{list-style: none;}
0a558f444c98 Uploaded
greg
parents:
diff changeset
143 .display.math{display: block; text-align: center; margin: 0.5rem auto;}