[7123feb] | 1 | :root {
|
---|
| 2 | --universal-margin: 0.5rem;
|
---|
| 3 | --universal-padding: 0.5rem;
|
---|
| 4 | --universal-border-radius: 0.2rem;
|
---|
| 5 | --a-link-color: blue;
|
---|
| 6 | --a-visited-color: #551A8B;
|
---|
| 7 | }
|
---|
| 8 |
|
---|
| 9 | :link { color: #0000EE; }
|
---|
| 10 | :visited { color: #551A8B; }
|
---|
| 11 |
|
---|
| 12 | html {
|
---|
| 13 | font-family: sans-serif;
|
---|
| 14 | }
|
---|
| 15 |
|
---|
[632f9bc] | 16 | body {
|
---|
[8ff16b8] | 17 | background: #f0f0f0;
|
---|
[632f9bc] | 18 | }
|
---|
| 19 |
|
---|
[688d021] | 20 | article,
|
---|
[eb2627e] | 21 | #footnotes,
|
---|
| 22 | #content > :not(article):not(#table-of-contents) {
|
---|
[1d577b1] | 23 | max-width: calc(60ch);
|
---|
[c43e516] | 24 | margin: var(--universal-padding);
|
---|
[1d577b1] | 25 | padding: calc(var(--universal-padding) * 2);
|
---|
[632f9bc] | 26 | background: #fefefe;
|
---|
[7123feb] | 27 | box-shadow: 0 1px 0px rgba(0,0,0,.1);
|
---|
[632f9bc] | 28 | position: relative;
|
---|
[35e1834] | 29 | border-radius: var(--universal-border-radius);
|
---|
[af5a879] | 30 | border: 1px solid #cfcfcf;
|
---|
[35e1834] | 31 | }
|
---|
| 32 |
|
---|
| 33 | article p {
|
---|
| 34 | word-break: break-word;
|
---|
| 35 | hyphens: auto;
|
---|
[632f9bc] | 36 | }
|
---|
| 37 |
|
---|
[688d021] | 38 | .footdef {
|
---|
| 39 | margin-bottom: 0;
|
---|
| 40 | }
|
---|
| 41 |
|
---|
[c43e516] | 42 | article h2 {
|
---|
[632f9bc] | 43 | margin-top: 0;
|
---|
| 44 | padding: 0;
|
---|
| 45 | }
|
---|
| 46 |
|
---|
| 47 | .navbar {
|
---|
[779efbc] | 48 | display: flex;
|
---|
| 49 | flex-direction: row;
|
---|
[632f9bc] | 50 | border: 0;
|
---|
[8ff16b8] | 51 | position: relative;
|
---|
| 52 | z-index: 999;
|
---|
[83930f1] | 53 |
|
---|
[7123feb] | 54 | /* top: calc(var(--universal-padding) - 2px); */
|
---|
[632f9bc] | 55 | }
|
---|
| 56 |
|
---|
[1d577b1] | 57 | .navbar a {
|
---|
[632f9bc] | 58 | text-transform: none;
|
---|
[8ff16b8] | 59 | background: #fefefe;
|
---|
[7123feb] | 60 | border: 1px solid rgba(0,0,0,.25);
|
---|
| 61 | box-shadow: 0 1px 0px rgba(0,0,0,.1);
|
---|
| 62 | border-radius: var(--universal-border-radius);
|
---|
[8ff16b8] | 63 | text-decoration: underline;
|
---|
| 64 | color: var(--a-link-color);
|
---|
| 65 | padding: 4px 12px;
|
---|
[7123feb] | 66 | margin-right: 6px;
|
---|
[83930f1] | 67 | flex-shrink: 0;
|
---|
[7123feb] | 68 | }
|
---|
| 69 |
|
---|
[b8c66ba] | 70 | .navbar a:visited {
|
---|
[29d69bd] | 71 | color: purple;
|
---|
[632f9bc] | 72 | }
|
---|
| 73 |
|
---|
| 74 | #youmu {
|
---|
| 75 | position: relative;
|
---|
| 76 | top: 1em;
|
---|
[98fbfa4] | 77 | margin-bottom: -0.5em;
|
---|
| 78 | max-width: 400px;
|
---|
| 79 | filter: drop-shadow(0 12px 4px rgba(0,0,0,.25));
|
---|
[632f9bc] | 80 | }
|
---|
| 81 |
|
---|
[adfd46a] | 82 | #preamble, #postamble {
|
---|
| 83 | overflow-x: scroll;
|
---|
| 84 | }
|
---|
| 85 |
|
---|
[632f9bc] | 86 | #preamble {
|
---|
[ba2af33] | 87 | max-width: calc(60ch + 6em);
|
---|
[632f9bc] | 88 | margin: var(--universal-margin);
|
---|
| 89 | }
|
---|
| 90 |
|
---|
| 91 | #postamble {
|
---|
| 92 | margin: var(--universal-margin);
|
---|
[eb2627e] | 93 | max-width: calc(76ch);
|
---|
[7123feb] | 94 | display: flex;
|
---|
| 95 | flex-direction: row;
|
---|
| 96 | justify-content: space-between;
|
---|
[29d69bd] | 97 | font-size: 10pt;
|
---|
[632f9bc] | 98 | }
|
---|
| 99 |
|
---|
[29d69bd] | 100 | #postamble p {
|
---|
| 101 | margin-top: 0;
|
---|
[d829433] | 102 | }
|
---|
| 103 |
|
---|
[adfd46a] | 104 | #postamble ul {
|
---|
| 105 | display: flex;
|
---|
| 106 | list-style: square;
|
---|
| 107 | margin: 0;
|
---|
| 108 | padding-left: 0;
|
---|
| 109 | }
|
---|
| 110 |
|
---|
| 111 | @media only screen and (max-width: 500px) {
|
---|
| 112 | #postamble ul {
|
---|
| 113 | flex-direction: column;
|
---|
| 114 | }
|
---|
| 115 |
|
---|
| 116 | #postamble ul li:first-child {
|
---|
[a9a951e] | 117 | list-style: square !important;
|
---|
[adfd46a] | 118 | }
|
---|
| 119 | }
|
---|
| 120 |
|
---|
| 121 | #postamble ul li {
|
---|
| 122 | margin: 0 0.75em;
|
---|
| 123 | margin: 0 1ch;
|
---|
| 124 | }
|
---|
| 125 |
|
---|
| 126 | #postamble ul li:first-child {
|
---|
| 127 | list-style: none;
|
---|
| 128 | }
|
---|
| 129 |
|
---|
[29d69bd] | 130 | #meta p {
|
---|
| 131 | text-align: right;
|
---|
[632f9bc] | 132 | }
|
---|
| 133 |
|
---|
[0985524] | 134 | @media screen and (max-width: 120ch) {
|
---|
| 135 | #table-of-contents {
|
---|
| 136 | display: none !important;
|
---|
| 137 | }
|
---|
| 138 | }
|
---|
| 139 |
|
---|
[632f9bc] | 140 | #table-of-contents {
|
---|
[0985524] | 141 | display: block;
|
---|
[632f9bc] | 142 | z-index: 1050;
|
---|
| 143 | position: fixed;
|
---|
[1d577b1] | 144 | left: 70ch;
|
---|
[632f9bc] | 145 | background: #fefefe;
|
---|
[1d577b1] | 146 | box-shadow: 0 1px 0px rgba(0,0,0,.1);
|
---|
[35e1834] | 147 | border-radius: var(--universal-border-radius);
|
---|
[7e72119] | 148 | border: 1px solid #cfcfcf;
|
---|
[b8c66ba] | 149 | max-height: calc(100% - 3 * (var(--universal-margin) + 0.5em) - 5em);
|
---|
[1d577b1] | 150 | overflow: auto;
|
---|
| 151 | max-width: 35ch;
|
---|
[eb2627e] | 152 | padding-right: 2em;
|
---|
[632f9bc] | 153 | }
|
---|
| 154 |
|
---|
| 155 | #table-of-contents * {
|
---|
| 156 | padding: none;
|
---|
| 157 | }
|
---|
| 158 |
|
---|
| 159 | #table-of-contents h2 {
|
---|
[1d577b1] | 160 | font-size: 12pt;
|
---|
[35e1834] | 161 | margin: var(--universal-margin);
|
---|
| 162 | margin-top: calc(2 * var(--universal-margin));
|
---|
[632f9bc] | 163 | font-weight: 400;
|
---|
| 164 | padding: .05em .5em;
|
---|
| 165 | }
|
---|
| 166 |
|
---|
| 167 | #text-table-of-contents ul li {
|
---|
| 168 | font-size: 11pt;
|
---|
| 169 | width: 100%;
|
---|
| 170 | }
|
---|
| 171 |
|
---|
| 172 | .licenses {
|
---|
[ba2af33] | 173 | text-align: center;
|
---|
[35e1834] | 174 | margin-top: 0.3em !important;
|
---|
[632f9bc] | 175 | }
|
---|
| 176 |
|
---|
| 177 | .licenses a:not(:first-child) {
|
---|
| 178 | margin-left: 0.5em;
|
---|
| 179 | }
|
---|
| 180 |
|
---|
[5acf481] | 181 | nav * {
|
---|
| 182 | padding: 0.1em 0;
|
---|
| 183 | }
|
---|
[688d021] | 184 |
|
---|
| 185 | .abstract {
|
---|
| 186 | background: var(--nav-hover-back-color);
|
---|
| 187 | border-radius: 0.05em;
|
---|
[35e1834] | 188 | margin: 0 -1em;
|
---|
| 189 | padding: 0.25em 1em;
|
---|
[688d021] | 190 | }
|
---|
| 191 |
|
---|
[8fe2763] | 192 | pre {
|
---|
| 193 | border: 1px solid #ccc;
|
---|
| 194 | box-shadow: none;
|
---|
| 195 | padding: 8pt;
|
---|
| 196 | overflow: auto;
|
---|
| 197 | margin: var(--universal-margin);
|
---|
| 198 | border-radius: var(--universal-border-radius);
|
---|
[688d021] | 199 | }
|
---|
[c43e516] | 200 |
|
---|
[c721284] | 201 | .figure {
|
---|
[c43e516] | 202 | text-align: center;
|
---|
| 203 | }
|
---|
| 204 |
|
---|
| 205 | .org-svg {
|
---|
| 206 | width: auto;
|
---|
[54096f7] | 207 | max-width: 100%;
|
---|
[c43e516] | 208 | }
|
---|
[863f5d5] | 209 |
|
---|
| 210 | .asciicast {
|
---|
| 211 | text-align: center;
|
---|
| 212 | }
|
---|
[9742500] | 213 |
|
---|
[7123feb] | 214 | img {
|
---|
| 215 | max-width: 100%;
|
---|
| 216 | border-radius: var(--universal-border-radius);
|
---|
[9742500] | 217 | }
|
---|
[487838e] | 218 |
|
---|
[0ebefc8] | 219 | video {
|
---|
| 220 | max-width: 100%;
|
---|
[35e1834] | 221 | max-height: 40em;
|
---|
| 222 | display: block;
|
---|
| 223 | margin: 0 auto;
|
---|
[0ebefc8] | 224 | }
|
---|
[03ce98c] | 225 |
|
---|
| 226 | #content {
|
---|
| 227 | margin: 0 !important;
|
---|
| 228 | }
|
---|
[7bef5b1] | 229 |
|
---|
| 230 | audio {
|
---|
| 231 | display: block;
|
---|
| 232 | width: calc(100% - var(--universal-padding) * 2);
|
---|
| 233 | margin: 0 var(--universal-padding);
|
---|
| 234 | }
|
---|
[8ff16b8] | 235 |
|
---|
| 236 | table tr td:nth-child(1) {
|
---|
| 237 | width: 20%;
|
---|
| 238 | }
|
---|
[7123feb] | 239 |
|
---|
| 240 | a {
|
---|
| 241 | text-decoration: underline;
|
---|
| 242 | }
|
---|
| 243 |
|
---|
| 244 | a:hover {
|
---|
| 245 | text-decoration: underline;
|
---|
| 246 | background: #ddd;
|
---|
| 247 | }
|
---|
[29d69bd] | 248 |
|
---|
[b8c66ba] | 249 | a:active {
|
---|
| 250 | color: purple;
|
---|
| 251 | background: #ccc;
|
---|
| 252 | }
|
---|
| 253 |
|
---|
[29d69bd] | 254 | .abstract {
|
---|
| 255 | background: rgba(0,0,0,.1);
|
---|
| 256 | }
|
---|
[b8c66ba] | 257 |
|
---|
| 258 | /* Org-mode */
|
---|
| 259 | .done {color: green;}
|
---|
| 260 | .todo {color: red;}
|
---|
[7e3d2c9] | 261 |
|
---|
| 262 | dt {
|
---|
| 263 | font-weight: bold;
|
---|
| 264 | }
|
---|
| 265 |
|
---|
| 266 | dt::before {
|
---|
| 267 | content: "• ";
|
---|
| 268 | }
|
---|
[d1d01c6] | 269 |
|
---|
| 270 | .org-dl dd, article p {
|
---|
| 271 | margin-top: var(--universal-margin);
|
---|
| 272 | margin-bottom: var(--universal-margin);
|
---|
| 273 | }
|
---|
| 274 |
|
---|
| 275 | sup::before { content: "[" }
|
---|
| 276 | sup::after { content: "]" }
|
---|
| 277 | .footpara { display: inline }
|
---|