changelog shortlog graph tags branches changeset files revisions annotate raw help

Mercurial > org / clean.theme

changeset 48: dd0011887969
parent: a3c65427bdde
child: bf3325947b23
author: Richard Westhaver <ellis@rwest.io>
date: Wed, 04 Sep 2024 17:02:01 -0400
permissions: -rw-r--r--
description: hgsub updates 
     1 :PROPERTIES:
     2 :ID:       d31224e1-4ef6-44f9-8350-4f890735f164
     3 :END:
     4 ; -*- mode: org -*-
     5 #+STARTUP: entitiespretty
     6 #+language: ulang
     7 #+DATE: {{{modification-time("%F %r", t)}}}
     8 #+OPTIONS: org-html-head-include-default-style:t ^:nil _:nil email:t \n:nil Tex:t LaTeX:t broken-links:mark toc:t
     9 #+HTML_DOCTYPE: html5
    10 #+HTML_LINK_HOME: https://compiler.company
    11 #+HTML_LINK_UP: https://compiler.company
    12 #+LATEX_HEADER: \usepackage{placeins}
    13 #+LATEX_HEADER: \usepackage{parskip}
    14 #+LATEX_HEADER: \usepackage{xcolor}
    15 #+LATEX_HEADER: \PassOptionsToPackage{hyperref,x11names}{xcolor}
    16 #+LATEX_HEADER: \usepackage{tocloft}
    17 #+LATEX_HEADER: \usepackage[margin=2cm]{geometry}
    18 #+COMMENT: #+ODT_STYLES_FILE: ~/org/ox/odt-theme.xml
    19 #+LATEX_HEADER: \renewcommand{\cftsecleader}{\cftdotfill{\cftdotsep}}
    20 #+LATEX_HEADER: \hypersetup{colorlinks, citecolor=red,filecolor=magenta,linkcolor=magenta,urlcolor=magenta}
    21 
    22 #+HTML_HEAD: <link rel="stylesheet" type="text/css" href="https://cdn.compiler.company/font/commit-mono.css" />
    23 #+HTML_HEAD: <link rel="stylesheet" type="text/css" href="https://cdn.compiler.company/font/3270.css" />
    24 #+HTML_HEAD: <link rel="stylesheet" type="text/css" href="https://cdn.compiler.company/font/pragmata-pro.css" />
    25 
    26 #+HTML_HEAD_EXTRA: <script type="text/javascript" src="https://cdn.compiler.company/js/jquery.min.js"></script>
    27 #+HTML_HEAD_EXTRA: <script type="text/javascript" src="https://cdn.compiler.company/js/esquemadorg.js"></script>
    28 
    29 #+HTML_HEAD: <link rel="stylesheet" type="text/css" href="https://cdn.compiler.company/css/htmlize.css" />
    30 #+HTML_HEAD: <style type="text/css">
    31 #+HTML_HEAD: body {
    32 #+HTML_HEAD:     font-family:  "CommitMono", monospace;
    33 #+HTML_HEAD:     -webkit-font-smoothing: antialiased;
    34 #+HTML_HEAD:     -moz-osx-font-smoothing: grayscale;
    35 #+HTML_HEAD:     font-feature-settings: "ss01", "ss03", "ss04", "ss05";
    36 #+HTML_HEAD:     color:  #EFFAF9;
    37 #+HTML_HEAD:     background-color: #0C0F0A;
    38 #+HTML_HEAD: }
    39 
    40 #+HTML_HEAD: div.status {
    41 #+HTML_HEAD:     position: fixed;
    42 # #+HTML_HEAD:     margin: 0.2em;
    43 #+HTML_HEAD:     text-align: center;
    44 #+HTML_HEAD: }
    45 
    46 #+HTML_HEAD: h1, h2, h3, h4, h5, h6 {
    47 #+HTML_HEAD:     position:  relative;
    48 # #+HTML_HEAD:     margin:  16px 0 8px;
    49 #+HTML_HEAD:     font-weight:  bold;
    50 # #+HTML_HEAD:     line-height:  1.1;
    51 #+HTML_HEAD:     color:  #DDCAD9;
    52 #+HTML_HEAD:     text-rendering:  optimizeLegibility;
    53 #+HTML_HEAD: }
    54 #+HTML_HEAD: h1:before, h2:before, h3:before, h4:before, h5:before, h6:before {
    55 #+HTML_HEAD:     position:  absolute;
    56 #+HTML_HEAD:     top:  auto;
    57 #+HTML_HEAD:     color:  #DDCAD9;
    58 #+HTML_HEAD:     display:  none;
    59 #+HTML_HEAD:     text-align: left;
    60 #+HTML_HEAD: }
    61 #+HTML_HEAD: h1:before {
    62 #+HTML_HEAD:     content:  "";
    63 #+HTML_HEAD:     left:  -1.25em;
    64 #+HTML_HEAD: }
    65 #+HTML_HEAD: h2:before {
    66 #+HTML_HEAD:     content:  "*";
    67 #+HTML_HEAD:     left:  -2em;
    68 #+HTML_HEAD:     color: #DDCAD9;
    69 #+HTML_HEAD: }
    70 #+HTML_HEAD: h3:before {
    71 #+HTML_HEAD:     content:  "**";
    72 #+HTML_HEAD:     left:  -2em;
    73 #+HTML_HEAD:     color: #DDCAD9;
    74 #+HTML_HEAD: }
    75 #+HTML_HEAD: h4:before {
    76 #+HTML_HEAD:     content:  "***";
    77 #+HTML_HEAD:     left:  -3em;
    78 #+HTML_HEAD:     color: #DDCAD9;
    79 #+HTML_HEAD: }
    80 #+HTML_HEAD: h5:before {
    81 #+HTML_HEAD:     content:  "****";
    82 #+HTML_HEAD:     left:  -3em;
    83 #+HTML_HEAD: }
    84 #+HTML_HEAD: h6:before {
    85 #+HTML_HEAD:     content:  "*****";
    86 #+HTML_HEAD:     left:  -4em;
    87 #+HTML_HEAD: }
    88 #+HTML_HEAD: i, em, b, strong {
    89 #+HTML_HEAD:     padding-left:  .1em;
    90 #+HTML_HEAD:     padding-right:  .1em;
    91 #+HTML_HEAD: }
    92 #+HTML_HEAD: b, strong {
    93 #+HTML_HEAD:     font-weight:  bold;
    94 #+HTML_HEAD:     color:  #EDF060;
    95 #+HTML_HEAD: }
    96 #+HTML_HEAD: b:before, b: after, strong:before, strong: after {
    97 #+HTML_HEAD:     content:  "*";
    98 #+HTML_HEAD: }
    99 #+HTML_HEAD: i:before, i: after, em:before, em: after {
   100 #+HTML_HEAD:     content:  "/";
   101 #+HTML_HEAD: }
   102 #+HTML_HEAD: hr {
   103 #+HTML_HEAD:     margin:  0;
   104 #+HTML_HEAD:     border:  0;
   105 #+HTML_HEAD: }
   106 #+HTML_HEAD: hr: after {
   107 #+HTML_HEAD:     display:  block;
   108 #+HTML_HEAD:     margin:  20px 0;
   109 #+HTML_HEAD:     content:  "----------------------------------------------------------------";
   110 #+HTML_HEAD:     color:  #EDF060;
   111 #+HTML_HEAD: }
   112 #+HTML_HEAD: ul, ol {
   113 #+HTML_HEAD:     padding:  0;
   114 #+HTML_HEAD:     margin:  0 0 20px 20px;
   115 #+HTML_HEAD: }
   116 #+HTML_HEAD: code, pre {
   117 #+HTML_HEAD:     font-family:  "3270", monospace;
   118 #+HTML_HEAD:     overflow: overlay;
   119 #+HTML_HEAD: }
   120 #+HTML_HEAD: code {
   121 #+HTML_HEAD:   font-family:  monospace;
   122 #+HTML_HEAD:   color:  #EDF060;
   123 #+HTML_HEAD:   background-color:  #303330;
   124 #+HTML_HEAD: }
   125 # #+HTML_HEAD: code:before, code:after {
   126 # #+HTML_HEAD:     content:  "=";
   127 # #+HTML_HEAD:     color:  #DDCAD9;
   128 # #+HTML_HEAD: }
   129 #+HTML_HEAD: .src {
   130 #+HTML_HEAD:   font-family: monospace;
   131 #+HTML_HEAD: }
   132 #+HTML_HEAD: p::after{
   133 #+HTML_HEAD:     content: "\a\a";
   134 #+HTML_HEAD:     white-space: pre;
   135 #+HTML_HEAD: }
   136 #+HTML_HEAD: pre {
   137 #+HTML_HEAD:     font-family:  monospace;
   138 #+HTML_HEAD:     display:  block;
   139 #+HTML_HEAD:     margin:  0 0 14px;
   140 #+HTML_HEAD:     padding:  15px;
   141 #+HTML_HEAD:     border-radius:  3px 3px 3px 3px;
   142 #+HTML_HEAD:     background-color:  #303030;
   143 # #+HTML_HEAD:     word-break:  break-all;
   144 # #+HTML_HEAD:     word-wrap:  break-word;
   145 #+HTML_HEAD: }
   146 #+HTML_HEAD: 
   147 #+HTML_HEAD: blockquote {
   148 #+HTML_HEAD:     padding:  0 0 0 20px;
   149 #+HTML_HEAD:     margin:  0 30px 20px -22.5px;
   150 #+HTML_HEAD:     color:  #AAD3F8;
   151 #+HTML_HEAD:     border-left:  8px solid #B08889;
   152 #+HTML_HEAD: }
   153 
   154 #+HTML_HEAD: pre.example {
   155 #+HTML_HEAD:     border-left:  8px solid #493657;
   156 #+HTML_HEAD: }
   157 
   158 #+HTML_HEAD: blockquote p: last-child {
   159 #+HTML_HEAD:     margin-bottom:  0;
   160 #+HTML_HEAD: }
   161 #+HTML_HEAD: img {
   162 #+HTML_HEAD:     display:  block;
   163 #+HTML_HEAD:     max-width: 100%;
   164 #+HTML_HEAD:     height: auto;
   165 #+HTML_HEAD:     margin:  auto;
   166 #+HTML_HEAD:     border-radius:  5px;
   167 #+HTML_HEAD:     padding-bottom: 1em;
   168 #+HTML_HEAD: }
   169 #+HTML_HEAD: figure > object {
   170 #+HTML_HEAD:   height: auto;
   171 #+HTML_HEAD:   margin: auto;
   172 #+HTML_HEAD: }
   173 #+HTML_HEAD: a {
   174 #+HTML_HEAD:     font-weight:  inherit;
   175 #+HTML_HEAD:     line-height:  inherit;
   176 #+HTML_HEAD:     color:  #84DCC6;
   177 #+HTML_HEAD: }
   178 #+HTML_HEAD: sup a:before {
   179 #+HTML_HEAD:     content:  "[";
   180 #+HTML_HEAD: }
   181 #+HTML_HEAD: sup a:after {
   182 #+HTML_HEAD:     content:  "]";
   183 #+HTML_HEAD: }
   184 #+HTML_HEAD: a:hover {
   185 #+HTML_HEAD:     text-decorac: blink;
   186 #+HTML_HEAD:     color: #C43952;
   187 #+HTML_HEAD:     background-color: #222222;
   188 #+HTML_HEAD: }
   189 #+HTML_HEAD: table {
   190 #+HTML_HEAD:     line-height:  1.8;
   191 #+HTML_HEAD:     margin-bottom:  15px;
   192 #+HTML_HEAD:     max-width:  100%;
   193 #+HTML_HEAD:     width:  100%;
   194 #+HTML_HEAD:     border: 1px solid lightsteelblue;
   195 #+HTML_HEAD:     border-style: inset;
   196 #+HTML_HEAD: }
   197 #+HTML_HEAD: table td, table th {
   198 #+HTML_HEAD:     padding:  0 15px;
   199 #+HTML_HEAD: }
   200 #+HTML_HEAD: table th.left, table td.left {
   201 #+HTML_HEAD:     text-align:  left;
   202 #+HTML_HEAD: }
   203 #+HTML_HEAD: table th.right, table td.right {
   204 #+HTML_HEAD:     text-align:  right;
   205 #+HTML_HEAD: }
   206 #+HTML_HEAD: td, th {
   207 #+HTML_HEAD:   border: 1px solid lightsteelblue;
   208 #+HTML_HEAD:   border-style: outset;
   209 #+HTML_HEAD: }
   210 
   211 #+HTML_HEAD: /* body */
   212 #+HTML_HEAD: body {
   213 #+HTML_HEAD:     margin:  auto auto;
   214 # #+HTML_HEAD:     max-width:  98%;
   215 #+HTML_HEAD: }
   216 #+HTML_HEAD: /* head */
   217 #+HTML_HEAD: .masthead {
   218 #+HTML_HEAD:     color:  #EDF060;
   219 #+HTML_HEAD: }
   220 #+HTML_HEAD: .masthead: after {
   221 #+HTML_HEAD:     display:  block;
   222 #+HTML_HEAD:     content:  '----------------------------------------------------------------';
   223 # #+HTML_HEAD:     margin:  10px 0;
   224 #+HTML_HEAD:     color:  #EDF060;
   225 #+HTML_HEAD: }
   226 #+HTML_HEAD: .masthead a {
   227 #+HTML_HEAD:     color:  #EDF060;
   228 #+HTML_HEAD: }
   229 #+HTML_HEAD: .masthead ul {
   230 #+HTML_HEAD:     list-style:  none;
   231 #+HTML_HEAD: }
   232 #+HTML_HEAD: .masthead li {
   233 #+HTML_HEAD:     display:  inline-block;
   234 #+HTML_HEAD: }
   235 #+HTML_HEAD: .masthead li + li:before {
   236 #+HTML_HEAD:     display:  inline-block;
   237 #+HTML_HEAD:     content:  "\00B7 \00a0";
   238 #+HTML_HEAD:     color:  #EDF060;
   239 #+HTML_HEAD: }
   240 #+HTML_HEAD: /* searchform*/
   241 #+HTML_HEAD: #searchform {
   242 #+HTML_HEAD:     position:  absolute;
   243 #+HTML_HEAD:     top:  54px;
   244 #+HTML_HEAD:     right:  30.4%;
   245 #+HTML_HEAD: }
   246 #+HTML_HEAD: #searchform #s {
   247 #+HTML_HEAD:     background:  url("/media/img/search.png") no-repeat 5px 6px;
   248 #+HTML_HEAD:     box-shadow:  inset 0 1px 1px rgba(0,0,0,0.1);
   249 #+HTML_HEAD:     border:  1px solid #ddd;
   250 #+HTML_HEAD:     border-radius:  2px;
   251 #+HTML_HEAD:     -moz-border-radius:  2px;
   252 #+HTML_HEAD:     width:  90px;
   253 #+HTML_HEAD:     height:  30px;
   254 #+HTML_HEAD:     line-height:  12px;
   255 #+HTML_HEAD:     padding:  4px 10px 4px 28px;
   256 #+HTML_HEAD: 
   257 #+HTML_HEAD:     -webkit-transition-duration:  400ms;
   258 #+HTML_HEAD:     -webkit-transition-property:  width, background;
   259 #+HTML_HEAD:     -webkit-transition-timing-function:  ease;
   260 #+HTML_HEAD:     -moz-transition-duration:  400ms;
   261 #+HTML_HEAD:     -moz-transition-property:  width, background;
   262 #+HTML_HEAD:     -moz-transition-timing-function:  ease;
   263 #+HTML_HEAD:     -o-transition-duration:  400ms;
   264 #+HTML_HEAD:     -o-transition-property:  width, background;
   265 #+HTML_HEAD:     -o-transition-timing-function:  ease;
   266 #+HTML_HEAD: }
   267 #+HTML_HEAD: #searchform #s: focus {
   268 #+HTML_HEAD:     background-color:  #3F3F37;
   269 #+HTML_HEAD:     width:  160px;
   270 #+HTML_HEAD: }
   271 #+HTML_HEAD: .masthead img.avatar {
   272 #+HTML_HEAD:     position:  relative;
   273 #+HTML_HEAD:     float:  right;
   274 #+HTML_HEAD:     margin-top:  -100px;
   275 #+HTML_HEAD:     margin-bottom:  -100%;
   276 #+HTML_HEAD:     margin-right:  10%;
   277 #+HTML_HEAD:     width:  200px;
   278 #+HTML_HEAD:     background-color:  #3F3F37;
   279 #+HTML_HEAD: }
   280 #+HTML_HEAD: /* post */
   281 #+HTML_HEAD: .post {
   282 #+HTML_HEAD:     position:  relative;
   283 #+HTML_HEAD: }
   284 #+HTML_HEAD: .post: after {
   285 #+HTML_HEAD:     display:  block;
   286 #+HTML_HEAD:     content:  "----------------------------------------------------------------";
   287 #+HTML_HEAD:     color:  #EDF060;
   288 #+HTML_HEAD: }
   289 #+HTML_HEAD: .post img {
   290 #+HTML_HEAD:     max-width:  100%;
   291 #+HTML_HEAD: }
   292 #+HTML_HEAD: .post li {
   293 #+HTML_HEAD:     list-style:  none outside none;
   294 #+HTML_HEAD: }
   295 #+HTML_HEAD: .post ul > li:before {
   296 #+HTML_HEAD:     content:  "- ";
   297 #+HTML_HEAD:     margin-left:  -1.25em;
   298 #+HTML_HEAD:     color:  #EDF060;
   299 #+HTML_HEAD: }
   300 #+HTML_HEAD: .post ol {
   301 #+HTML_HEAD:     counter-reset:  o-list;
   302 #+HTML_HEAD: }
   303 #+HTML_HEAD: .post ol > li:before {
   304 #+HTML_HEAD:     content:  counter(o-list) ") ";
   305 #+HTML_HEAD:     counter-increment:  o-list;
   306 #+HTML_HEAD:     margin-left:  -1.85em;
   307 #+HTML_HEAD:     color:  #EDF060;
   308 #+HTML_HEAD: }
   309 #+HTML_HEAD: 
   310 #+HTML_HEAD: /* special for li in pre */
   311 #+HTML_HEAD: .post pre li {
   312 #+HTML_HEAD:     font-family:  monospace;
   313 #+HTML_HEAD:     list-style-type:  decimal;
   314 #+HTML_HEAD: }
   315 #+HTML_HEAD: 
   316 #+HTML_HEAD: .post pre li:before {
   317 #+HTML_HEAD:     display:  none;
   318 #+HTML_HEAD: }
   319 #+HTML_HEAD: 
   320 #+HTML_HEAD: /* meta info */
   321 #+HTML_HEAD: .post-info {
   322 #+HTML_HEAD:     display:  inline-block;
   323 #+HTML_HEAD:     margin:  -10px 0 -10px;
   324 #+HTML_HEAD:     color:  #EDF060;
   325 #+HTML_HEAD: }
   326 #+HTML_HEAD: .post-info + .post-info:before {
   327 #+HTML_HEAD:     content:  "\2223 \00a0";
   328 #+HTML_HEAD: }
   329 #+HTML_HEAD: .post-meta: after {
   330 #+HTML_HEAD:     content:  "----------------------------------------------------------------";
   331 #+HTML_HEAD:     display:  block;
   332 #+HTML_HEAD:     margin-top:  -1px;
   333 #+HTML_HEAD:     color:  #EDF060;
   334 #+HTML_HEAD: }
   335 #+HTML_HEAD: 
   336 #+HTML_HEAD: /* nav */
   337 #+HTML_HEAD: div #nav {
   338 #+HTML_HEAD:   z-index: 10;
   339 #+HTML_HEAD:   top:  0.2em;
   340 #+HTML_HEAD:   left: 0.2em;
   341 #+HTML_HEAD:   text-align: left;
   342 #+HTML_HEAD:   font-size: 1.2rem;
   343 #+HTML_HEAD:   cursor: pointer;
   344 #+HTML_HEAD:   position: fixed;
   345 #+HTML_HEAD: }
   346 
   347 #+HTML_HEAD: div #nav h2 {
   348 #+HTML_HEAD:   margin: 0em;
   349 #+HTML_HEAD: }
   350 
   351 #+HTML_HEAD: #index {
   352 #+HTML_HEAD:   display: block;
   353 #+HTML_HEAD:   text-align: left;
   354 #+HTML_HEAD:   color:  #DDCAD9;
   355 #+HTML_HEAD:   font-size: 48px;
   356 #+HTML_HEAD:   font-stretch: ultra-expanded;
   357 #+HTML_HEAD: }
   358 
   359 #+HTML_HEAD: div #text-index {
   360 #+HTML_HEAD:   color:  #EDF060;
   361 #+HTML_HEAD:   display:  none;
   362 #+HTML_HEAD:   text-align:  left;
   363 #+HTML_HEAD:   backdrop-filter: blur(6px);
   364 #+HTML_HEAD: }
   365 #+HTML_HEAD: #org-div-home-and-up {
   366 #+HTML_HEAD:   display: inline-flex;
   367 #+HTML_HEAD: }
   368 #+HTML_HEAD: button {
   369 #+HTML_HEAD:   border: none;
   370 #+HTML_HEAD:   background-color: inherit;
   371 #+HTML_HEAD:   color: silver;
   372 #+HTML_HEAD:   font-size: 16px;
   373 #+HTML_HEAD:   cursor: pointer;
   374 #+HTML_HEAD: }
   375 #+HTML_HEAD: button:hover {background: #3F3F37; color:#EDF060;}
   376 #+HTML_HEAD: .show {text-decoration: overline; float:right;}
   377 #+HTML_HEAD: .hide {text-decoration: underline; float:right; text-underline-offset:0.2em;}
   378 #+HTML_HEAD: .home {text-decoration: overline; float:left; font-size:24px;}
   379 # #+HTML_HEAD: /* table of content */
   380 # #+HTML_HEAD: nav, #table-of-contents {
   381 # #+HTML_HEAD:   cursor: pointer;
   382 # #+HTML_HEAD:     position:  fixed;
   383 # #+HTML_HEAD:     right:  0.2em;
   384 # #+HTML_HEAD:     top:  0.2em;
   385 # #+HTML_HEAD:     border: 1px solid #e1e1e8;
   386 # #+HTML_HEAD:     -webkit-box-shadow:  0 0 1em #777777;
   387 # #+HTML_HEAD:     -moz-box-shadow:  0 0 1em #777777;
   388 # #+HTML_HEAD:     -webkit-border-bottom-left-radius:  5px;
   389 # #+HTML_HEAD:     -moz-border-radius-bottomleft:  5px;
   390 # #+HTML_HEAD:     text-align:  right;
   391 # #+HTML_HEAD:     /* ensure doesn't flow off the screen when expanded */
   392 # #+HTML_HEAD:     height:  auto;
   393 # #+HTML_HEAD:     overflow-y: scroll;
   394 # #+HTML_HEAD:     z-index:  11;
   395 # #+HTML_HEAD: }
   396 # #+HTML_HEAD: 
   397 # #+HTML_HEAD: #table-of-contents h2 {
   398 # #+HTML_HEAD:   margin: 0em;
   399 # #+HTML_HEAD:   font-size: 48px;
   400 # #+HTML_HEAD:   font-stretch: ultra-expanded;
   401 # #+HTML_HEAD: }
   402 #+HTML_HEAD: 
   403 # #+HTML_HEAD: #table-of-contents ul {
   404 # #+HTML_HEAD:   margin-left:  14pt;
   405 # #+HTML_HEAD:   margin-bottom:  10pt;
   406 # #+HTML_HEAD:   padding:  0
   407 # #+HTML_HEAD: }
   408 #+HTML_HEAD: 
   409 # #+HTML_HEAD: #table-of-contents li {
   410 # #+HTML_HEAD:     padding:  0;
   411 # #+HTML_HEAD:     margin:  1px;
   412 # #+HTML_HEAD:     list-style:  none;
   413 # #+HTML_HEAD: }
   414 
   415 # #+HTML_HEAD: #table-of-contents li a {
   416 # #+HTML_HEAD:     font-size:  16px;
   417 # #+HTML_HEAD: }
   418 # #+HTML_HEAD: 
   419 # #+HTML_HEAD: #table-of-contents #text-table-of-contents {
   420 # #+HTML_HEAD:   backdrop-filter: blur(6px);
   421 # #+HTML_HEAD:   display:  none;
   422 # #+HTML_HEAD:   text-align:  left;
   423 # #+HTML_HEAD:   padding-right: 0.1em;
   424 # #+HTML_HEAD: }
   425 # #+HTML_HEAD: 
   426 # #+HTML_HEAD: #table-of-contents: hover #text-table-of-contents {
   427 # #+HTML_HEAD:     display:  block;
   428 # #+HTML_HEAD:     padding:  0.5em;
   429 # #+HTML_HEAD:     margin-top:  -1.5em;
   430 # #+HTML_HEAD: }
   431 # #+HTML_HEAD: 
   432 #+HTML_HEAD: /* footer */
   433 #+HTML_HEAD: .footer {
   434 #+HTML_HEAD:     margin:  80px 0 0;
   435 #+HTML_HEAD:     text-align:  center;
   436 #+HTML_HEAD:     font-size:  13px;
   437 #+HTML_HEAD:     color:  #DDCAD9;
   438 #+HTML_HEAD:     left:  0em;
   439 #+HTML_HEAD:     bottom:  0em;
   440 #+HTML_HEAD: }
   441 #+HTML_HEAD: .footer > p {
   442 #+HTML_HEAD:     margin:  0;
   443 #+HTML_HEAD:     line-height:  1.5;
   444 #+HTML_HEAD: }
   445 #+HTML_HEAD: .footpara {
   446 #+HTML_HEAD:     display:  inline;
   447 #+HTML_HEAD: }
   448 #+HTML_HEAD: 
   449 #+HTML_HEAD: /* Responsive
   450 #+HTML_HEAD:    -------------------------------------------------- */
   451 #+HTML_HEAD: 
   452 #+HTML_HEAD: @media (min-width:  768px) {
   453 #+HTML_HEAD:     /* Increase body padding and font-sizes */
   454 #+HTML_HEAD:     body {
   455 #+HTML_HEAD:         padding: 2em;
   456 #+HTML_HEAD:         max-width: 70%;
   457 #+HTML_HEAD:     }
   458 #+HTML_HEAD:     h1:before, h2:before, h3:before, h4:before, h5:before, h6:before {
   459 #+HTML_HEAD:         display:  inline;
   460 #+HTML_HEAD:     }
   461 #+HTML_HEAD: }
   462 #+HTML_HEAD: 
   463 
   464 # custom
   465 #+HTML_HEAD: .subtitle {
   466 #+HTML_HEAD:   text-align: center;
   467 #+HTML_HEAD:   color: red;
   468 #+HTML_HEAD:   font-weight: bold;
   469 #+HTML_HEAD:   font-size: 1.1em;
   470 #+HTML_HEAD: }
   471 #+HTML_HEAD: .tag::before {
   472 #+HTML_HEAD:   content: ":";
   473 #+HTML_HEAD: }
   474 #+HTML_HEAD: .tag::after {
   475 #+HTML_HEAD:   content: ":";
   476 #+HTML_HEAD: }
   477 #+HTML_HEAD: .tag {
   478 #+HTML_HEAD:   float: right;
   479 #+HTML_HEAD:   color: #8A7090;
   480 #+HTML_HEAD: }
   481 #+HTML_HEAD: h3 .tag {
   482 #+HTML_HEAD:   right: 0px;
   483 #+HTML_HEAD:   position: absolute;
   484 #+HTML_HEAD:   color: lightpink;
   485 #+HTML_HEAD: }
   486 #+HTML_HEAD: .org-center {
   487 #+HTML_HEAD:   text-align: center;
   488 #+HTML_HEAD: }
   489 #+HTML_HEAD:
   490 #+HTML_HEAD: .outline-2, .outline-3, .outline-4, .outline-5 {
   491 # #+HTML_HEAD:   padding-left: 1em;
   492 #+HTML_HEAD: }
   493 
   494 # #+HTML_HEAD: .outline-2 {
   495 # #+HTML_HEAD:   padding-top: 1.8em;
   496 # #+HTML_HEAD: }
   497 
   498 #+HTML_HEAD: .org-dl {
   499 #+HTML_HEAD:   
   500 #+HTML_HEAD: }
   501 
   502 #+HTML_HEAD: .org-dl dt {
   503 #+HTML_HEAD:   font-weight: bold;
   504 #+HTML_HEAD: }
   505 
   506 #+HTML_HEAD: .org-dl dt::after {
   507 #+HTML_HEAD:   content: " :: ";
   508 #+HTML_HEAD: }
   509 
   510 #+HTML_HEAD: .org-dl dd::before {
   511 #+HTML_HEAD:   font-size: xx-large;
   512 #+HTML_HEAD:   content: "  ↳ ";
   513 #+HTML_HEAD: }
   514 
   515 #+HTML_HEAD: .org-dl dd {
   516 #+HTML_HEAD:   font-size: 0.9rem;
   517 #+HTML_HEAD:   margin-bottom: 0.5em;
   518 #+HTML_HEAD:   margin-left: 2em;
   519 #+HTML_HEAD: }
   520 
   521 #+HTML_HEAD: .title {
   522 #+HTML_HEAD:   text-align: center;
   523 # #+HTML_HEAD:   padding-top: 1.8em;
   524 #+HTML_HEAD: }
   525 
   526 #+HTML_HEAD: div#postamble.status {
   527 #+HTML_HEAD:   text-align: left;
   528 #+HTML_HEAD: }
   529 #+HTML_HEAD: .org-org-ref-acronym {
   530 #+HTML_HEAD:     /* org-ref-acronym-face */
   531 #+HTML_HEAD:     color: #ee7600;
   532 #+HTML_HEAD:     text-decoration: underline;
   533 #+HTML_HEAD: }
   534 #+HTML_HEAD: .org-org-ref-cite {
   535 #+HTML_HEAD:     /* org-ref-cite-face */
   536 #+HTML_HEAD:     color: #c3d5c3;
   537 #+HTML_HEAD:     text-decoration: underline;
   538 #+HTML_HEAD: }
   539 #+HTML_HEAD: .org-org-ref-glossary {
   540 #+HTML_HEAD:     /* org-ref-glossary-face */
   541 #+HTML_HEAD:     color: #8968cd;
   542 #+HTML_HEAD:     text-decoration: underline;
   543 #+HTML_HEAD: }
   544 #+HTML_HEAD: .org-org-ref-label {
   545 #+HTML_HEAD:     /* org-ref-label-face */
   546 #+HTML_HEAD:     color: #8b008b;
   547 #+HTML_HEAD:     text-decoration: underline;
   548 #+HTML_HEAD: }
   549 #+HTML_HEAD: .org-org-ref-ref {
   550 #+HTML_HEAD:     /* org-ref-ref-face */
   551 #+HTML_HEAD:     color: #e1cc96;
   552 #+HTML_HEAD:     text-decoration: underline;
   553 #+HTML_HEAD: }
   554 #+HTML_HEAD: .org-org-scheduled {
   555 #+HTML_HEAD:     /* org-scheduled */
   556 #+HTML_HEAD:     color: #006400;
   557 #+HTML_HEAD: }
   558 #+HTML_HEAD: .org-org-scheduled-previously {
   559 #+HTML_HEAD:     /* org-scheduled-previously */
   560 #+HTML_HEAD:     color: #b22222;
   561 #+HTML_HEAD: }
   562 #+HTML_HEAD: .org-org-scheduled-today {
   563 #+HTML_HEAD:     /* org-scheduled-today */
   564 #+HTML_HEAD:     color: #006400;
   565 #+HTML_HEAD: }
   566 #+HTML_HEAD: .org-org-sexp-date {
   567 #+HTML_HEAD:     /* org-sexp-date */
   568 #+HTML_HEAD:     color: #a020f0;
   569 #+HTML_HEAD: }
   570 #+HTML_HEAD: .org-org-special-keyword {
   571 #+HTML_HEAD:     /* org-special-keyword */
   572 #+HTML_HEAD:     color: #a020f0;
   573 #+HTML_HEAD: }
   574 #+HTML_HEAD: .org-org-todo {
   575 #+HTML_HEAD:     /* org-todo */
   576 #+HTML_HEAD:     color: #ff0000;
   577 #+HTML_HEAD:     font-weight: bold;
   578 #+HTML_HEAD: }
   579 #+HTML_HEAD: .org-org-done {
   580 #+HTML_HEAD:     /* org-done */
   581 #+HTML_HEAD:     color: #85BB41;
   582 #+HTML_HEAD:     font-weight: bold;
   583 #+HTML_HEAD: }
   584 #+HTML_HEAD: .PROJECT {
   585 #+HTML_HEAD:     color: lightseagreen;
   586 #+HTML_HEAD:     font-weight: bold;
   587 #+HTML_HEAD: }
   588 #+HTML_HEAD: .NOTE {
   589 #+HTML_HEAD:     color: lemonchiffon;
   590 #+HTML_HEAD:     font-weight: bold;
   591 #+HTML_HEAD: }
   592 #+HTML_HEAD: .PRODUCT {
   593 #+HTML_HEAD:     color: olivedrab;
   594 #+HTML_HEAD:     font-weight: bold;
   595 #+HTML_HEAD: }
   596 #+HTML_HEAD: .RELEASE {
   597 #+HTML_HEAD:     color: maroon3;
   598 #+HTML_HEAD:     font-weight: bold;
   599 #+HTML_HEAD: }
   600 #+HTML_HEAD: .NOTE {
   601 #+HTML_HEAD:     color: lemonchiffon;
   602 #+HTML_HEAD:     font-weight: bold;
   603 #+HTML_HEAD: }
   604 #+HTML_HEAD: .CODE {
   605 #+HTML_HEAD:     color: bisque;
   606 #+HTML_HEAD:     background-color: midnightblue;
   607 #+HTML_HEAD:     font-weight: bold;
   608 #+HTML_HEAD: }
   609 #+HTML_HEAD: .HOLD {
   610 #+HTML_HEAD:     color: red1;
   611 #+HTML_HEAD:     font-weight: bold;
   612 #+HTML_HEAD:     background-color: yellow1;
   613 #+HTML_HEAD: }
   614 #+HTML_HEAD: .WAIT {
   615 #+HTML_HEAD:     color: red;
   616 #+HTML_HEAD:     font-weight: bold;
   617 #+HTML_HEAD:     background-color: yellow1;
   618 #+HTML_HEAD: }
   619 #+HTML_HEAD: .WIP {
   620 #+HTML_HEAD:     color: darkorchid;
   621 #+HTML_HEAD:     font-weight: bold;
   622 #+HTML_HEAD: }
   623 #+HTML_HEAD: .NOPE {
   624 #+HTML_HEAD:     color: hotpink;
   625 #+HTML_HEAD:     font-weight: bold;
   626 #+HTML_HEAD:     background-color: darkgreen;
   627 #+HTML_HEAD: }
   628 #+HTML_HEAD: .RESEARCH {
   629 #+HTML_HEAD:     color: maroon;
   630 #+HTML_HEAD:     font-weight: bold;
   631 #+HTML_HEAD: }
   632 #+HTML_HEAD: .DONE {
   633 #+HTML_HEAD:     color: green;
   634 #+HTML_HEAD:     font-weight: bold;
   635 #+HTML_HEAD: }
   636 #+HTML_HEAD: .TODO {
   637 #+HTML_HEAD:     color: red;
   638 #+HTML_HEAD:     font-weight: bold;
   639 #+HTML_HEAD: }
   640 #+HTML_HEAD: .TEST {
   641 #+HTML_HEAD:     color: orange;
   642 #+HTML_HEAD:     font-weight: bold;
   643 #+HTML_HEAD: }
   644 #+HTML_HEAD: .TBD {
   645 #+HTML_HEAD:     color: darkred;
   646 #+HTML_HEAD:     font-weight: bold;
   647 #+HTML_HEAD: }
   648 #+HTML_HEAD: .HACK {
   649 #+HTML_HEAD:     color: coral;
   650 #+HTML_HEAD:     font-weight: bold;
   651 #+HTML_HEAD: }
   652 #+HTML_HEAD: .SPRINT {
   653 #+HTML_HEAD:     color: violet;
   654 #+HTML_HEAD:     font-weight: bold;
   655 #+HTML_HEAD: }
   656 #+HTML_HEAD: .org-org-upcoming-deadline {
   657 #+HTML_HEAD:     /* org-upcoming-deadline */
   658 #+HTML_HEAD:     color: #b22222;
   659 #+HTML_HEAD: }
   660 #+HTML_HEAD: .org-org-upcoming-distant-deadline {
   661 #+HTML_HEAD:     /* org-upcoming-distant-deadline */
   662 #+HTML_HEAD:     color: #000000;
   663 #+HTML_HEAD:     background-color: #ffffff;
   664 #+HTML_HEAD: }
   665 #+HTML_HEAD: 
   666 #+HTML_HEAD: .org-org-warning {
   667 #+HTML_HEAD:     /* org-warning */
   668 #+HTML_HEAD:     color: #ff0000;
   669 #+HTML_HEAD:     font-weight: bold;
   670 #+HTML_HEAD: }
   671 #+HTML_HEAD: .status {
   672 #+HTML_HEAD:   position: absolute;
   673 #+HTML_HEAD:   left: 1em;
   674 #+HTML_HEAD: }
   675 #+HTML_HEAD: 
   676 #+HTML_HEAD: div #footnotes {
   677 #+HTML_HEAD:   padding-bottom: 1em;
   678 #+HTML_HEAD: }
   679 #+HTML_HEAD: 
   680 #+HTML_HEAD:  </style>
   681 #+HTML_HEAD:<script type="text/javascript">
   682 # #+HTML_HEAD:  document.addEventListener('DOMContentLoaded',function() {
   683 # #+HTML_HEAD:      document.getElementById("table-of-contents").onclick = function() {
   684 # #+HTML_HEAD:          var elem = document.getElementById("text-table-of-contents");
   685 # #+HTML_HEAD:          elem.style.display = elem.style.display == "block" ? "none" : "block";
   686 # #+HTML_HEAD:      }
   687 # #+HTML_HEAD:  });
   688 # #+HTML_HEAD:  document.addEventListener('DOMContentLoaded',function() {
   689 # #+HTML_HEAD:      document.getElementById("nav").onclick = function() {
   690 # #+HTML_HEAD:          var elem = document.getElementById("text-index");
   691 # #+HTML_HEAD:          elem.style.display = elem.style.display == "block" ? "none" : "block";
   692 # #+HTML_HEAD:      }
   693 # #+HTML_HEAD:  });
   694 #+HTML_HEAD:
   695 #+HTML_HEAD:  var url = document.location.href;
   696 #+HTML_HEAD:  var orgsource = url.substring(0, url.lastIndexOf("."))+".org";
   697 #+HTML_HEAD:  function show_org_source(){
   698 #+HTML_HEAD:      document.location.href = orgsource;
   699 #+HTML_HEAD:  }
   700 #+HTML_HEAD:</script>
   701 #+BEGIN_EXPORT latex
   702 \newpage
   703 #+END_EXPORT