changeset 32: |
a76ad7f46abf |
parent: |
3e9582fc5d82
|
child: |
a32a0d49a5f7 |
author: |
Richard Westhaver <ellis@rwest.io> |
date: |
Fri, 07 Jun 2024 22:18:39 -0400 |
permissions: |
-rw-r--r-- |
description: |
theme tweaks |
2 #+STARTUP: entitiespretty 4 #+DATE: {{{modification-time("%F %r", t)}}} 5 #+OPTIONS: org-html-head-include-default-style:t ^:nil _:nil email:t \n:nil Tex:t LaTeX:t broken-links:mark 6 #+BIND: org-html-self-link-headlines t 8 # #+HTML_LINK_HOME: rwest.io 9 #+LATEX_HEADER: \usepackage{placeins} 10 #+LATEX_HEADER: \usepackage{parskip} 11 #+LATEX_HEADER: \usepackage{xcolor} 12 #+LATEX_HEADER: \PassOptionsToPackage{hyperref,x11names}{xcolor} 13 #+LATEX_HEADER: \usepackage{tocloft} 14 #+LATEX_HEADER: \usepackage[margin=2cm]{geometry} 15 #+COMMENT: #+ODT_STYLES_FILE: ~/org/ox/odt-theme.xml 16 #+LATEX_HEADER: \renewcommand{\cftsecleader}{\cftdotfill{\cftdotsep}} 17 #+LATEX_HEADER: \hypersetup{colorlinks, citecolor=red,filecolor=magenta,linkcolor=magenta,urlcolor=magenta} 19 #+HTML_HEAD: <link rel="stylesheet" type="text/css" href="https://cdn.compiler.company/css/htmlize.css" /> 21 #+HTML_HEAD: <link rel="stylesheet" type="text/css" href="https://cdn.compiler.company/font/commit-mono.css" /> 22 #+HTML_HEAD: <link rel="stylesheet" type="text/css" href="https://cdn.compiler.company/font/3270.css" /> 23 #+HTML_HEAD: <link rel="stylesheet" type="text/css" href="https://cdn.compiler.company/font/pragmata-pro.css" /> 25 #+HTML_HEAD: <style type="text/css"> 28 #+HTML_HEAD: *::before, 29 #+HTML_HEAD: *::after { 30 #+HTML_HEAD: box-sizing: border-box; 31 #+HTML_HEAD: margin: 0; 32 #+HTML_HEAD: padding: 0; 35 #+HTML_HEAD: --text: #111; 36 #+HTML_HEAD: --middle: #555; 37 #+HTML_HEAD: --bg: #aaa; 38 #+HTML_HEAD: --max-width: 54ch; 39 #+HTML_HEAD: font-size: 16px; 41 #+HTML_HEAD: /* @media (prefers-color-scheme: dark) { 43 #+HTML_HEAD: --text: #aaa; 44 #+HTML_HEAD: --middle: #555; 45 #+HTML_HEAD: --bg: #111; 49 #+HTML_HEAD: -webkit-box-sizing: border-box; 50 #+HTML_HEAD: -moz-box-sizing: border-box; 51 #+HTML_HEAD: box-sizing: border-box; 54 #+HTML_HEAD: font-family: "CommitMono", monospace; 55 #+HTML_HEAD: font-size: 14px; 56 # #+HTML_HEAD: -webkit-font-smoothing: antialiased; 57 # #+HTML_HEAD: -moz-osx-font-smoothing: grayscale; 58 # #+HTML_HEAD: font-feature-settings: "ss01", "ss03", "ss04", "ss05"; 59 #+HTML_HEAD: color: #EFFAF9; 60 #+HTML_HEAD: background-color: #3F3F37; 63 #+HTML_HEAD: div.status { 64 # #+HTML_HEAD: position: fixed; 65 # #+HTML_HEAD: margin: 0.2em; 66 #+HTML_HEAD: text-align: center; 69 #+HTML_HEAD: h1, h2, h3, h4, h5, h6 { 70 #+HTML_HEAD: position: relative; 71 #+HTML_HEAD: margin: 16px 0 8px; 72 #+HTML_HEAD: font-weight: bold; 73 #+HTML_HEAD: line-height: 1.1; 74 #+HTML_HEAD: color: #DDCAD9; 75 #+HTML_HEAD: text-rendering: optimizeLegibility; 77 #+HTML_HEAD: h1:before, h2:before, h3:before, h4:before, h5:before, h6:before { 78 #+HTML_HEAD: position: absolute; 79 #+HTML_HEAD: top: auto; 80 #+HTML_HEAD: color: #DDCAD9; 81 #+HTML_HEAD: display: none; 82 #+HTML_HEAD: text-align: left; 84 #+HTML_HEAD: h1:before { 85 #+HTML_HEAD: content: ""; 86 #+HTML_HEAD: left: -1.25em; 88 #+HTML_HEAD: h2:before { 89 #+HTML_HEAD: content: "*"; 90 #+HTML_HEAD: left: -2em; 91 #+HTML_HEAD: color: #DDCAD9; 93 #+HTML_HEAD: h3:before { 94 #+HTML_HEAD: content: "**"; 95 #+HTML_HEAD: left: -2em; 96 #+HTML_HEAD: color: #DDCAD9; 98 #+HTML_HEAD: h4:before { 99 #+HTML_HEAD: content: "***"; 100 #+HTML_HEAD: left: -3em; 101 #+HTML_HEAD: color: #DDCAD9; 103 #+HTML_HEAD: h5:before { 104 #+HTML_HEAD: content: "****"; 105 #+HTML_HEAD: left: -3em; 107 #+HTML_HEAD: h6:before { 108 #+HTML_HEAD: content: "*****"; 109 #+HTML_HEAD: left: -4em; 111 #+HTML_HEAD: i, em, b, strong { 112 #+HTML_HEAD: padding-left: .1em; 113 #+HTML_HEAD: padding-right: .1em; 115 #+HTML_HEAD: b, strong { 116 #+HTML_HEAD: font-weight: bold; 117 #+HTML_HEAD: color: #EDF060; 119 #+HTML_HEAD: b:before, b: after, strong:before, strong: after { 120 #+HTML_HEAD: content: "*"; 122 #+HTML_HEAD: i:before, i: after, em:before, em: after { 123 #+HTML_HEAD: content: "/"; 126 #+HTML_HEAD: margin: 0; 127 #+HTML_HEAD: border: 0; 129 #+HTML_HEAD: hr: after { 130 #+HTML_HEAD: display: block; 131 #+HTML_HEAD: margin: 20px 0; 132 #+HTML_HEAD: content: "----------------------------------------------------------------"; 133 #+HTML_HEAD: color: #EDF060; 135 #+HTML_HEAD: ul, ol { 136 #+HTML_HEAD: padding: 0; 137 #+HTML_HEAD: margin: 0 0 20px 20px; 139 #+HTML_HEAD: code, pre { 140 #+HTML_HEAD: font-family: "3270", monospace; 141 #+HTML_HEAD: overflow: overlay; 144 #+HTML_HEAD: font-family: monospace; 145 #+HTML_HEAD: color: #EDF060; 146 #+HTML_HEAD: background-color: #3F3F37; 148 #+HTML_HEAD: code:before, code:after { 149 #+HTML_HEAD: content: "="; 150 #+HTML_HEAD: color: #DDCAD9; 153 #+HTML_HEAD: font-family: monospace; 155 #+HTML_HEAD: p::after{ 156 #+HTML_HEAD: content: "\a\a"; 157 #+HTML_HEAD: white-space: pre; 160 #+HTML_HEAD: font-family: monospace; 161 #+HTML_HEAD: display: block; 162 #+HTML_HEAD: margin: 0 0 14px; 163 #+HTML_HEAD: padding: 15px; 164 #+HTML_HEAD: border-radius: 3px 3px 3px 3px; 165 #+HTML_HEAD: background-color: #3F3F37; 166 # #+HTML_HEAD: word-break: break-all; 167 # #+HTML_HEAD: word-wrap: break-word; 169 #+HTML_HEAD: blockquote { 170 #+HTML_HEAD: padding: 0 0 0 20px; 171 #+HTML_HEAD: margin: 0 30px 20px -22.5px; 172 #+HTML_HEAD: color: #EDF060; 173 #+HTML_HEAD: border-left: 8px solid #e5e5e5; 175 #+HTML_HEAD: blockquote p: last-child { 176 #+HTML_HEAD: margin-bottom: 0; 179 #+COMMENT: #+HTML_HEAD: display: block; 180 #+HTML_HEAD: max-width: 100%; 181 #+HTML_HEAD: height: auto; 182 #+HTML_HEAD: margin: auto; 183 #+HTML_HEAD: border-radius: 5px; 185 #+HTML_HEAD: figure > object { 186 #+HTML_HEAD: height: auto; 187 #+HTML_HEAD: margin: auto; 190 #+HTML_HEAD: font-weight: inherit; 191 #+HTML_HEAD: line-height: inherit; 192 #+HTML_HEAD: color: #84DCC6; 194 #+HTML_HEAD: sup a:before { 195 #+HTML_HEAD: content: "["; 197 #+HTML_HEAD: sup a:after { 198 #+HTML_HEAD: content: "]"; 200 #+HTML_HEAD: a:hover { 201 #+HTML_HEAD: text-decorac: blink; 202 #+HTML_HEAD: color: #C43952; 203 #+HTML_HEAD: background-color: #222222; 206 #+HTML_HEAD: line-height: 1.8; 207 #+HTML_HEAD: margin-bottom: 15px; 208 #+HTML_HEAD: max-width: 100%; 209 #+HTML_HEAD: width: 100%; 210 #+HTML_HEAD: border: 1px solid lightsteelblue; 211 #+HTML_HEAD: border-style: inset; 213 #+HTML_HEAD: table td, table th { 214 #+HTML_HEAD: padding: 0 15px; 216 #+HTML_HEAD: table th.left, table td.left { 217 #+HTML_HEAD: text-align: left; 219 #+HTML_HEAD: table th.right, table td.right { 220 #+HTML_HEAD: text-align: right; 222 #+HTML_HEAD: td, th { 223 #+HTML_HEAD: border: 1px solid lightsteelblue; 224 #+HTML_HEAD: border-style: outset; 227 #+HTML_HEAD: /* body */ 229 #+HTML_HEAD: margin: auto auto; 230 #+HTML_HEAD: max-width: 98%; 232 #+HTML_HEAD: /* head */ 233 #+HTML_HEAD: .masthead { 234 #+HTML_HEAD: color: #EDF060; 236 #+HTML_HEAD: .masthead: after { 237 #+HTML_HEAD: display: block; 238 #+HTML_HEAD: content: '----------------------------------------------------------------'; 239 #+HTML_HEAD: margin: 10px 0; 240 #+HTML_HEAD: color: #EDF060; 242 #+HTML_HEAD: .masthead a { 243 #+HTML_HEAD: color: #EDF060; 245 #+HTML_HEAD: .masthead ul { 246 #+HTML_HEAD: list-style: none; 248 #+HTML_HEAD: .masthead li { 249 #+HTML_HEAD: display: inline-block; 251 #+HTML_HEAD: .masthead li + li:before { 252 #+HTML_HEAD: display: inline-block; 253 #+HTML_HEAD: content: "\00B7 \00a0"; 254 #+HTML_HEAD: color: #EDF060; 256 #+HTML_HEAD: /* searchform*/ 257 #+HTML_HEAD: #searchform { 258 #+HTML_HEAD: position: absolute; 259 #+HTML_HEAD: top: 54px; 260 #+HTML_HEAD: right: 30.4%; 262 #+HTML_HEAD: #searchform #s { 263 #+HTML_HEAD: background: url("/media/img/search.png") no-repeat 5px 6px; 264 #+HTML_HEAD: box-shadow: inset 0 1px 1px rgba(0,0,0,0.1); 265 #+HTML_HEAD: border: 1px solid #ddd; 266 #+HTML_HEAD: border-radius: 2px; 267 #+HTML_HEAD: -moz-border-radius: 2px; 268 #+HTML_HEAD: width: 90px; 269 #+HTML_HEAD: height: 30px; 270 #+HTML_HEAD: line-height: 12px; 271 #+HTML_HEAD: padding: 4px 10px 4px 28px; 273 #+HTML_HEAD: -webkit-transition-duration: 400ms; 274 #+HTML_HEAD: -webkit-transition-property: width, background; 275 #+HTML_HEAD: -webkit-transition-timing-function: ease; 276 #+HTML_HEAD: -moz-transition-duration: 400ms; 277 #+HTML_HEAD: -moz-transition-property: width, background; 278 #+HTML_HEAD: -moz-transition-timing-function: ease; 279 #+HTML_HEAD: -o-transition-duration: 400ms; 280 #+HTML_HEAD: -o-transition-property: width, background; 281 #+HTML_HEAD: -o-transition-timing-function: ease; 283 #+HTML_HEAD: #searchform #s: focus { 284 #+HTML_HEAD: background-color: #3F3F37; 285 #+HTML_HEAD: width: 160px; 287 #+HTML_HEAD: .masthead img.avatar { 288 #+HTML_HEAD: position: relative; 289 #+HTML_HEAD: float: right; 290 #+HTML_HEAD: margin-top: -100px; 291 #+HTML_HEAD: margin-bottom: -100%; 292 #+HTML_HEAD: margin-right: 10%; 293 #+HTML_HEAD: width: 200px; 294 #+HTML_HEAD: background-color: #3F3F37; 296 #+HTML_HEAD: /* post */ 298 #+HTML_HEAD: position: relative; 300 #+HTML_HEAD: .post: after { 301 #+HTML_HEAD: display: block; 302 #+HTML_HEAD: content: "----------------------------------------------------------------"; 303 #+HTML_HEAD: color: #EDF060; 305 #+HTML_HEAD: .post img { 306 #+HTML_HEAD: max-width: 100%; 308 #+HTML_HEAD: .post li { 309 #+HTML_HEAD: list-style: none outside none; 311 #+HTML_HEAD: .post ul > li:before { 312 #+HTML_HEAD: content: "- "; 313 #+HTML_HEAD: margin-left: -1.25em; 314 #+HTML_HEAD: color: #EDF060; 316 #+HTML_HEAD: .post ol { 317 #+HTML_HEAD: counter-reset: o-list; 319 #+HTML_HEAD: .post ol > li:before { 320 #+HTML_HEAD: content: counter(o-list) ") "; 321 #+HTML_HEAD: counter-increment: o-list; 322 #+HTML_HEAD: margin-left: -1.85em; 323 #+HTML_HEAD: color: #EDF060; 326 #+HTML_HEAD: /* special for li in pre */ 327 #+HTML_HEAD: .post pre li { 328 #+HTML_HEAD: font-family: monospace; 329 #+HTML_HEAD: list-style-type: decimal; 332 #+HTML_HEAD: .post pre li:before { 333 #+HTML_HEAD: display: none; 336 #+HTML_HEAD: /* meta info */ 337 #+HTML_HEAD: .post-info { 338 #+HTML_HEAD: display: inline-block; 339 #+HTML_HEAD: margin: -10px 0 -10px; 340 #+HTML_HEAD: color: #EDF060; 342 #+HTML_HEAD: .post-info + .post-info:before { 343 #+HTML_HEAD: content: "\2223 \00a0"; 345 #+HTML_HEAD: .post-meta: after { 346 #+HTML_HEAD: content: "----------------------------------------------------------------"; 347 #+HTML_HEAD: display: block; 348 #+HTML_HEAD: margin-top: -1px; 349 #+HTML_HEAD: color: #EDF060; 352 #+HTML_HEAD: /* nav */ 353 #+HTML_HEAD: div.nav { 354 #+HTML_HEAD: text-align: left; 355 #+HTML_HEAD: font-size: 1.2rem; 356 #+HTML_HEAD: cursor: pointer; 357 #+HTML_HEAD: position: fixed; 358 #+HTML_HEAD: backdrop-filter: blur(6px); 361 #+HTML_HEAD: /* table of content */ 362 #+HTML_HEAD: #table-of-contents { 363 #+HTML_HEAD: cursor: pointer; 364 #+HTML_HEAD: position: fixed; 365 #+HTML_HEAD: right: 0.2em; 366 #+HTML_HEAD: top: 0.2em; 367 # #+HTML_HEAD: border: 1px solid #e1e1e8; 368 # #+HTML_HEAD: -webkit-box-shadow: 0 0 1em #777777; 369 # #+HTML_HEAD: -moz-box-shadow: 0 0 1em #777777; 370 # #+HTML_HEAD: -webkit-border-bottom-left-radius: 5px; 371 # #+HTML_HEAD: -moz-border-radius-bottomleft: 5px; 372 #+HTML_HEAD: text-align: right; 373 #+HTML_HEAD: /* ensure doesn't flow off the screen when expanded */ 374 #+HTML_HEAD: height: auto; 375 #+HTML_HEAD: overflow: auto; 376 #+HTML_HEAD: z-index: 200; 379 #+HTML_HEAD: #table-of-contents h2 { 380 #+HTML_HEAD: margin: 0.1em; 381 #+HTML_HEAD: font-size: 48px; 382 #+HTML_HEAD: font-stretch: ultra-expanded; 385 #+HTML_HEAD: #table-of-contents ul { 386 #+HTML_HEAD: margin-left: 14pt; 387 #+HTML_HEAD: margin-bottom: 10pt; 388 #+HTML_HEAD: padding: 0 391 #+HTML_HEAD: #table-of-contents li { 392 #+HTML_HEAD: padding: 0; 393 #+HTML_HEAD: margin: 1px; 394 #+HTML_HEAD: list-style: none; 397 #+HTML_HEAD: #table-of-contents li a { 398 #+HTML_HEAD: font-size: 16px; 401 #+HTML_HEAD: #table-of-contents #text-table-of-contents { 402 #+HTML_HEAD: backdrop-filter: blur(6px); 403 #+HTML_HEAD: display: none; 404 #+HTML_HEAD: text-align: left; 405 #+HTML_HEAD: padding-right: 0.1em; 408 #+HTML_HEAD: #table-of-contents: hover #text-table-of-contents { 409 #+HTML_HEAD: display: block; 410 #+HTML_HEAD: padding: 0.5em; 411 #+HTML_HEAD: margin-top: -1.5em; 414 #+HTML_HEAD: /* footer */ 415 #+HTML_HEAD: .footer { 416 #+HTML_HEAD: margin: 80px 0 0; 417 #+HTML_HEAD: text-align: center; 418 #+HTML_HEAD: font-size: 13px; 419 #+HTML_HEAD: color: #DDCAD9; 420 #+HTML_HEAD: left: 0em; 421 #+HTML_HEAD: bottom: 0em; 423 #+HTML_HEAD: .footer > p { 424 #+HTML_HEAD: margin: 0; 425 #+HTML_HEAD: line-height: 1.5; 427 #+HTML_HEAD: .footpara { 428 #+HTML_HEAD: display: inline; 431 #+HTML_HEAD: /* Responsive 432 #+HTML_HEAD: -------------------------------------------------- */ 434 #+HTML_HEAD: @media (min-width: 768px) { 435 #+HTML_HEAD: /* Increase body padding and font-sizes */ 437 #+HTML_HEAD: padding: 2em; 438 #+HTML_HEAD: max-width: 70%; 440 #+HTML_HEAD: h1:before, h2:before, h3:before, h4:before, h5:before, h6:before { 441 #+HTML_HEAD: display: inline; 447 #+HTML_HEAD: .subtitle { 448 #+HTML_HEAD: text-align: center; 449 #+HTML_HEAD: color: red; 450 #+HTML_HEAD: font-weight: bold; 451 #+HTML_HEAD: font-size: 1.1em; 453 #+HTML_HEAD: .tag::before { 454 #+HTML_HEAD: content: ":"; 456 #+HTML_HEAD: .tag::after { 457 #+HTML_HEAD: content: ":"; 460 #+HTML_HEAD: float: right; 461 #+HTML_HEAD: color: #8A7090; 463 #+HTML_HEAD: h3 .tag { 464 #+HTML_HEAD: right: 0px; 465 #+HTML_HEAD: position: absolute; 466 #+HTML_HEAD: color: lightpink; 468 #+HTML_HEAD: .org-center { 469 #+HTML_HEAD: text-align: center; 472 #+HTML_HEAD: .outline-2, .outline-3, .outline-4, .outline-5 { 473 # #+HTML_HEAD: padding-left: 1em; 476 #+HTML_HEAD: .outline-2 { 477 #+HTML_HEAD: padding-top: 1.8em; 480 #+HTML_HEAD: .org-dl { 484 #+HTML_HEAD: .org-dl dt { 485 #+HTML_HEAD: font-weight: bold; 488 #+HTML_HEAD: .org-dl dt::after { 489 #+HTML_HEAD: content: " :: "; 492 #+HTML_HEAD: .org-dl dd::before { 493 #+HTML_HEAD: font-size: xx-large; 494 #+HTML_HEAD: content: " ↳ "; 497 #+HTML_HEAD: .org-dl dd { 498 #+HTML_HEAD: font-size: 0.9rem; 499 #+HTML_HEAD: margin-bottom: 0.5em; 500 #+HTML_HEAD: margin-left: 2em; 503 #+HTML_HEAD: .title { 504 #+HTML_HEAD: text-align: center; 505 #+HTML_HEAD: padding-top: 1.8em; 508 #+HTML_HEAD: .status { 509 #+HTML_HEAD: position: absolute; 510 #+HTML_HEAD: left: 1em; 513 #+HTML_HEAD: div #footnotes { 514 #+HTML_HEAD: padding-bottom: 1em; 517 #+HTML_HEAD: </style> 518 #+HTML_HEAD:<script type="text/javascript"> 519 #+HTML_HEAD: document.addEventListener('DOMContentLoaded',function() { 520 #+HTML_HEAD: document.getElementById("table-of-contents").onclick = function() { 521 #+HTML_HEAD: var elem = document.getElementById("text-table-of-contents"); 522 #+HTML_HEAD: elem.style.display = elem.style.display == "block" ? "none" : "block"; 525 # #+HTML_HEAD: document.addEventListener('DOMContentLoaded',function() { 526 # #+HTML_HEAD: document.getElementById("preamble").onclick = function() { 527 # #+HTML_HEAD: var elem = document.getElementById("nav"); 528 # #+HTML_HEAD: elem.style.display = elem.style.display == "block" ? "none" : "block"; 532 #+HTML_HEAD: var url = document.location.href; 533 #+HTML_HEAD: var orgsource = url.substring(0, url.lastIndexOf("."))+".org"; 534 #+HTML_HEAD: function show_org_source(){ 535 #+HTML_HEAD: document.location.href = orgsource; 537 #+HTML_HEAD:</script>