26 |
26 |
27 a.nav { text-decoration: none; color: inherit; } |
27 a.nav { text-decoration: none; color: inherit; } |
28 |
28 |
29 a.nav:hover { text-decoration: underline; color: inherit; } |
29 a.nav:hover { text-decoration: underline; color: inherit; } |
30 |
30 |
|
31 .hidden { display: none; } |
|
32 |
31 header { background: #f8f8f8; width: 100%; z-index: 2; border-bottom: 1px solid #ccc; } |
33 header { background: #f8f8f8; width: 100%; z-index: 2; border-bottom: 1px solid #ccc; } |
32 |
34 |
33 @media (prefers-color-scheme: dark) { header { background: black; } } |
35 @media (prefers-color-scheme: dark) { header { background: black; } } |
34 |
36 |
35 @media (prefers-color-scheme: dark) { header { border-color: #333; } } |
37 @media (prefers-color-scheme: dark) { header { border-color: #333; } } |
36 |
38 |
37 header .content { padding: 1rem 3.5rem; } |
39 header .content { padding: 1rem 3.5rem; } |
38 |
40 |
39 header h2 { margin-top: .5em; font-size: 1em; } |
41 header h2 { margin-top: .5em; font-size: 1em; } |
40 |
42 |
|
43 header p.text { margin: .5em 0 -.5em; color: #666; font-style: italic; } |
|
44 |
|
45 @media (prefers-color-scheme: dark) { header p.text { color: #aaa; } } |
|
46 |
41 header.sticky { position: fixed; left: 0; right: 0; height: 2.5em; } |
47 header.sticky { position: fixed; left: 0; right: 0; height: 2.5em; } |
42 |
48 |
43 header.sticky .text { display: none; } |
49 header.sticky .text { display: none; } |
44 |
50 |
45 header.sticky h1, header.sticky h2 { font-size: 1em; margin-top: 0; display: inline-block; } |
51 header.sticky h1, header.sticky h2 { font-size: 1em; margin-top: 0; display: inline-block; } |
50 |
56 |
51 header.sticky ~ #source { padding-top: 6.5em; } |
57 header.sticky ~ #source { padding-top: 6.5em; } |
52 |
58 |
53 main { position: relative; z-index: 1; } |
59 main { position: relative; z-index: 1; } |
54 |
60 |
55 .indexfile footer { margin: 1rem 3.5rem; } |
61 footer { margin: 1rem 3.5rem; } |
56 |
|
57 .pyfile footer { margin: 1rem 1rem; } |
|
58 |
62 |
59 footer .content { padding: 0; color: #666; font-style: italic; } |
63 footer .content { padding: 0; color: #666; font-style: italic; } |
60 |
64 |
61 @media (prefers-color-scheme: dark) { footer .content { color: #aaa; } } |
65 @media (prefers-color-scheme: dark) { footer .content { color: #aaa; } } |
62 |
66 |
122 |
126 |
123 #keyboard_icon { margin: 5px; } |
127 #keyboard_icon { margin: 5px; } |
124 |
128 |
125 #help_panel_state { display: none; } |
129 #help_panel_state { display: none; } |
126 |
130 |
127 #help_panel { top: 25px; right: 0; padding: .75em; border: 1px solid #883; } |
131 #help_panel { top: 25px; right: 0; padding: .75em; border: 1px solid #883; color: #333; } |
|
132 |
|
133 #help_panel .keyhelp p { margin-top: .75em; } |
128 |
134 |
129 #help_panel .legend { font-style: italic; margin-bottom: 1em; } |
135 #help_panel .legend { font-style: italic; margin-bottom: 1em; } |
130 |
136 |
131 .indexfile #help_panel { width: 25em; } |
137 .indexfile #help_panel { width: 25em; } |
132 |
138 |
133 .pyfile #help_panel { width: 18em; } |
139 .pyfile #help_panel { width: 18em; } |
134 |
140 |
135 #help_panel_state:checked ~ #help_panel { display: block; } |
141 #help_panel_state:checked ~ #help_panel { display: block; } |
136 |
142 |
137 .keyhelp { margin-top: .75em; } |
|
138 |
|
139 kbd { border: 1px solid black; border-color: #888 #333 #333 #888; padding: .1em .35em; font-family: SFMono-Regular, Menlo, Monaco, Consolas, monospace; font-weight: bold; background: #eee; border-radius: 3px; } |
143 kbd { border: 1px solid black; border-color: #888 #333 #333 #888; padding: .1em .35em; font-family: SFMono-Regular, Menlo, Monaco, Consolas, monospace; font-weight: bold; background: #eee; border-radius: 3px; } |
140 |
144 |
141 #source { padding: 1em 0 1em 3.5rem; font-family: SFMono-Regular, Menlo, Monaco, Consolas, monospace; } |
145 #source { padding: 1em 0 1em 3.5rem; font-family: SFMono-Regular, Menlo, Monaco, Consolas, monospace; } |
142 |
146 |
143 #source p { position: relative; white-space: pre; } |
147 #source p { position: relative; white-space: pre; } |