; -*- mode: org -*-

 #+STARTUP: entitiespretty

 #+language: ulang

 #+DATE: {{{modification-time("%F %r", t)}}}

 #+OPTIONS: org-html-head-include-default-style:t ^:nil _:nil email:t \n:nil Tex:t LaTeX:t broken-links:mark toc:nil

 #+HTML_DOCTYPE: html5

 #+LATEX_HEADER: \usepackage{placeins}

 #+LATEX_HEADER: \usepackage{parskip}

 #+LATEX_HEADER: \usepackage{xcolor}

 #+LATEX_HEADER: \PassOptionsToPackage{hyperref,x11names}{xcolor}

 #+LATEX_HEADER: \usepackage{tocloft}

 #+LATEX_HEADER: \usepackage[margin=2cm]{geometry}

 #+COMMENT: #+ODT_STYLES_FILE: ~/org/ox/odt-theme.xml

 #+LATEX_HEADER: \renewcommand{\cftsecleader}{\cftdotfill{\cftdotsep}}

 #+LATEX_HEADER: \hypersetup{colorlinks, citecolor=red,filecolor=magenta,linkcolor=magenta,urlcolor=magenta}

 #+HTML_HEAD: <link rel="stylesheet" type="text/css" href="https://cdn.compiler.company/font/commit-mono.css" />

 #+HTML_HEAD: <link rel="stylesheet" type="text/css" href="https://cdn.compiler.company/font/3270.css" />

 #+HTML_HEAD: <link rel="stylesheet" type="text/css" href="https://cdn.compiler.company/font/pragmata-pro.css" />

 #+HTML_HEAD: <link rel="stylesheet" type="text/css" href="https://cdn.compiler.company/css/htmlize.css" />

 #+HTML_HEAD:  <style type="text/css">

 #+HTML_HEAD: 

 #+HTML_HEAD: *,

 #+HTML_HEAD: *::before,

 #+HTML_HEAD: *::after {

 #+HTML_HEAD:     box-sizing: border-box;

 #+HTML_HEAD:     margin: 0;

 #+HTML_HEAD:     padding: 0;

 #+HTML_HEAD: }

 #+HTML_HEAD: :root {

 #+HTML_HEAD:     --text: #111;

 #+HTML_HEAD:     --middle: #555;

 #+HTML_HEAD:     --bg: #aaa;

 #+HTML_HEAD:     --max-width: 54ch;

 #+HTML_HEAD:     font-size: 16px;

 #+HTML_HEAD: }

 #+HTML_HEAD: /* @media (prefers-color-scheme: dark) {

 #+HTML_HEAD:     :root {

 #+HTML_HEAD:         --text: #aaa;

 #+HTML_HEAD:         --middle: #555;

 #+HTML_HEAD:         --bg: #111;

 #+HTML_HEAD:     }

 #+HTML_HEAD: } */

 #+HTML_HEAD: * {

 #+HTML_HEAD:     -webkit-box-sizing:  border-box;

 #+HTML_HEAD:        -moz-box-sizing:  border-box;

 #+HTML_HEAD:             box-sizing:  border-box;

 #+HTML_HEAD: }

 #+HTML_HEAD: body {

 #+HTML_HEAD:     font-family:  "CommitMono", monospace;

 #+HTML_HEAD:     font-size:  14px;

 # #+HTML_HEAD:     -webkit-font-smoothing: antialiased;

 # #+HTML_HEAD:     -moz-osx-font-smoothing: grayscale;

 # #+HTML_HEAD:     font-feature-settings: "ss01", "ss03", "ss04", "ss05";

 #+HTML_HEAD:     color:  #EFFAF9;

 #+HTML_HEAD:     background-color: #0C0F0A;

 #+HTML_HEAD: }

 #+HTML_HEAD: div.status {

 # #+HTML_HEAD:     position: fixed;

 # #+HTML_HEAD:     margin: 0.2em;

 #+HTML_HEAD:     text-align: center;

 #+HTML_HEAD: }

 #+HTML_HEAD: h1, h2, h3, h4, h5, h6 {

 #+HTML_HEAD:     position:  relative;

 #+HTML_HEAD:     margin:  16px 0 8px;

 #+HTML_HEAD:     font-weight:  bold;

 #+HTML_HEAD:     line-height:  1.1;

 #+HTML_HEAD:     color:  #DDCAD9;

 #+HTML_HEAD:     text-rendering:  optimizeLegibility;

 #+HTML_HEAD: }

 #+HTML_HEAD: h1:before, h2:before, h3:before, h4:before, h5:before, h6:before {

 #+HTML_HEAD:     position:  absolute;

 #+HTML_HEAD:     top:  auto;

 #+HTML_HEAD:     color:  #DDCAD9;

 #+HTML_HEAD:     display:  none;

 #+HTML_HEAD:     text-align: left;

 #+HTML_HEAD: }

 #+HTML_HEAD: h1:before {

 #+HTML_HEAD:     content:  "";

 #+HTML_HEAD:     left:  -1.25em;

 #+HTML_HEAD: }

 #+HTML_HEAD: h2:before {

 #+HTML_HEAD:     content:  "*";

 #+HTML_HEAD:     left:  -2em;

 #+HTML_HEAD:     color: #DDCAD9;

 #+HTML_HEAD: }

 #+HTML_HEAD: h3:before {

 #+HTML_HEAD:     content:  "**";

 #+HTML_HEAD:     left:  -2em;

 #+HTML_HEAD:     color: #DDCAD9;

 #+HTML_HEAD: }

 #+HTML_HEAD: h4:before {

 #+HTML_HEAD:     content:  "***";

 #+HTML_HEAD:     left:  -3em;

 #+HTML_HEAD:     color: #DDCAD9;

 #+HTML_HEAD: }

 #+HTML_HEAD: h5:before {

 #+HTML_HEAD:     content:  "****";

 #+HTML_HEAD:     left:  -3em;

 #+HTML_HEAD: }

 #+HTML_HEAD: h6:before {

 #+HTML_HEAD:     content:  "*****";

 #+HTML_HEAD:     left:  -4em;

 #+HTML_HEAD: }

 #+HTML_HEAD: i, em, b, strong {

 #+HTML_HEAD:     padding-left:  .1em;

 #+HTML_HEAD:     padding-right:  .1em;

 #+HTML_HEAD: }

 #+HTML_HEAD: b, strong {

 #+HTML_HEAD:     font-weight:  bold;

 #+HTML_HEAD:     color:  #EDF060;

 #+HTML_HEAD: }

 #+HTML_HEAD: b:before, b: after, strong:before, strong: after {

 #+HTML_HEAD:     content:  "*";

 #+HTML_HEAD: }

 #+HTML_HEAD: i:before, i: after, em:before, em: after {

 #+HTML_HEAD:     content:  "/";

 #+HTML_HEAD: }

 #+HTML_HEAD: hr {

 #+HTML_HEAD:     margin:  0;

 #+HTML_HEAD:     border:  0;

 #+HTML_HEAD: }

 #+HTML_HEAD: hr: after {

 #+HTML_HEAD:     display:  block;

 #+HTML_HEAD:     margin:  20px 0;

 #+HTML_HEAD:     content:  "----------------------------------------------------------------";

 #+HTML_HEAD:     color:  #EDF060;

 #+HTML_HEAD: }

 #+HTML_HEAD: ul, ol {

 #+HTML_HEAD:     padding:  0;

 #+HTML_HEAD:     margin:  0 0 20px 20px;

 #+HTML_HEAD: }

 #+HTML_HEAD: code, pre {

 #+HTML_HEAD:     font-family:  "3270", monospace;

 #+HTML_HEAD:     overflow: overlay;

 #+HTML_HEAD: }

 #+HTML_HEAD: code {

 #+HTML_HEAD:   font-family:  monospace;

 #+HTML_HEAD:   color:  #EDF060;

 #+HTML_HEAD:   background-color:  #303330;

 #+HTML_HEAD: }

 # #+HTML_HEAD: code:before, code:after {

 # #+HTML_HEAD:     content:  "=";

 # #+HTML_HEAD:     color:  #DDCAD9;

 # #+HTML_HEAD: }

 #+HTML_HEAD: .src {

 #+HTML_HEAD:   font-family: monospace;

 #+HTML_HEAD: }

 #+HTML_HEAD: p::after{

 #+HTML_HEAD:     content: "\a\a";

 #+HTML_HEAD:     white-space: pre;

 #+HTML_HEAD: }

 #+HTML_HEAD: pre {

 #+HTML_HEAD:     font-family:  monospace;

 #+HTML_HEAD:     display:  block;

 #+HTML_HEAD:     margin:  0 0 14px;

 #+HTML_HEAD:     padding:  15px;

 #+HTML_HEAD:     border-radius:  3px 3px 3px 3px;

 #+HTML_HEAD:     background-color:  #303030;

 # #+HTML_HEAD:     word-break:  break-all;

 # #+HTML_HEAD:     word-wrap:  break-word;

 #+HTML_HEAD: }

 #+HTML_HEAD: 

 #+HTML_HEAD: blockquote {

 #+HTML_HEAD:     padding:  0 0 0 20px;

 #+HTML_HEAD:     margin:  0 30px 20px -22.5px;

 #+HTML_HEAD:     color:  #EDF060;

 #+HTML_HEAD:     border-left:  8px solid #e5e5e5;

 #+HTML_HEAD: }

 #+HTML_HEAD: pre.example {

 #+HTML_HEAD:     border-left:  8px solid #493657;

 #+HTML_HEAD: }

 #+HTML_HEAD: blockquote p: last-child {

 #+HTML_HEAD:     margin-bottom:  0;

 #+HTML_HEAD: }

 #+HTML_HEAD: img {

 #+HTML_HEAD:     display:  block;

 #+HTML_HEAD:     max-width: 100%;

 #+HTML_HEAD:     height: auto;

 #+HTML_HEAD:     margin:  auto;

 #+HTML_HEAD:     border-radius:  5px;

 #+HTML_HEAD:     padding-bottom: 1em;

 #+HTML_HEAD: }

 #+HTML_HEAD: figure > object {

 #+HTML_HEAD:   height: auto;

 #+HTML_HEAD:   margin: auto;

 #+HTML_HEAD: }

 #+HTML_HEAD: a {

 #+HTML_HEAD:     font-weight:  inherit;

 #+HTML_HEAD:     line-height:  inherit;

 #+HTML_HEAD:     color:  #84DCC6;

 #+HTML_HEAD: }

 #+HTML_HEAD: sup a:before {

 #+HTML_HEAD:     content:  "[";

 #+HTML_HEAD: }

 #+HTML_HEAD: sup a:after {

 #+HTML_HEAD:     content:  "]";

 #+HTML_HEAD: }

 #+HTML_HEAD: a:hover {

 #+HTML_HEAD:     text-decorac: blink;

 #+HTML_HEAD:     color: #C43952;

 #+HTML_HEAD:     background-color: #222222;

 #+HTML_HEAD: }

 #+HTML_HEAD: table {

 #+HTML_HEAD:     line-height:  1.8;

 #+HTML_HEAD:     margin-bottom:  15px;

 #+HTML_HEAD:     max-width:  100%;

 #+HTML_HEAD:     width:  100%;

 #+HTML_HEAD:     border: 1px solid lightsteelblue;

 #+HTML_HEAD:     border-style: inset;

 #+HTML_HEAD: }

 #+HTML_HEAD: table td, table th {

 #+HTML_HEAD:     padding:  0 15px;

 #+HTML_HEAD: }

 #+HTML_HEAD: table th.left, table td.left {

 #+HTML_HEAD:     text-align:  left;

 #+HTML_HEAD: }

 #+HTML_HEAD: table th.right, table td.right {

 #+HTML_HEAD:     text-align:  right;

 #+HTML_HEAD: }

 #+HTML_HEAD: td, th {

 #+HTML_HEAD:   border: 1px solid lightsteelblue;

 #+HTML_HEAD:   border-style: outset;

 #+HTML_HEAD: }

 #+HTML_HEAD: /* body */

 #+HTML_HEAD: body {

 #+HTML_HEAD:     margin:  auto auto;

 #+HTML_HEAD:     max-width:  98%;

 #+HTML_HEAD: }

 #+HTML_HEAD: /* head */

 #+HTML_HEAD: .masthead {

 #+HTML_HEAD:     color:  #EDF060;

 #+HTML_HEAD: }

 #+HTML_HEAD: .masthead: after {

 #+HTML_HEAD:     display:  block;

 #+HTML_HEAD:     content:  '----------------------------------------------------------------';

 #+HTML_HEAD:     margin:  10px 0;

 #+HTML_HEAD:     color:  #EDF060;

 #+HTML_HEAD: }

 #+HTML_HEAD: .masthead a {

 #+HTML_HEAD:     color:  #EDF060;

 #+HTML_HEAD: }

 #+HTML_HEAD: .masthead ul {

 #+HTML_HEAD:     list-style:  none;

 #+HTML_HEAD: }

 #+HTML_HEAD: .masthead li {

 #+HTML_HEAD:     display:  inline-block;

 #+HTML_HEAD: }

 #+HTML_HEAD: .masthead li + li:before {

 #+HTML_HEAD:     display:  inline-block;

 #+HTML_HEAD:     content:  "\00B7 \00a0";

 #+HTML_HEAD:     color:  #EDF060;

 #+HTML_HEAD: }

 #+HTML_HEAD: /* searchform*/

 #+HTML_HEAD: #searchform {

 #+HTML_HEAD:     position:  absolute;

 #+HTML_HEAD:     top:  54px;

 #+HTML_HEAD:     right:  30.4%;

 #+HTML_HEAD: }

 #+HTML_HEAD: #searchform #s {

 #+HTML_HEAD:     background:  url("/media/img/search.png") no-repeat 5px 6px;

 #+HTML_HEAD:     box-shadow:  inset 0 1px 1px rgba(0,0,0,0.1);

 #+HTML_HEAD:     border:  1px solid #ddd;

 #+HTML_HEAD:     border-radius:  2px;

 #+HTML_HEAD:     -moz-border-radius:  2px;

 #+HTML_HEAD:     width:  90px;

 #+HTML_HEAD:     height:  30px;

 #+HTML_HEAD:     line-height:  12px;

 #+HTML_HEAD:     padding:  4px 10px 4px 28px;

 #+HTML_HEAD: 

 #+HTML_HEAD:     -webkit-transition-duration:  400ms;

 #+HTML_HEAD:     -webkit-transition-property:  width, background;

 #+HTML_HEAD:     -webkit-transition-timing-function:  ease;

 #+HTML_HEAD:     -moz-transition-duration:  400ms;

 #+HTML_HEAD:     -moz-transition-property:  width, background;

 #+HTML_HEAD:     -moz-transition-timing-function:  ease;

 #+HTML_HEAD:     -o-transition-duration:  400ms;

 #+HTML_HEAD:     -o-transition-property:  width, background;

 #+HTML_HEAD:     -o-transition-timing-function:  ease;

 #+HTML_HEAD: }

 #+HTML_HEAD: #searchform #s: focus {

 #+HTML_HEAD:     background-color:  #3F3F37;

 #+HTML_HEAD:     width:  160px;

 #+HTML_HEAD: }

 #+HTML_HEAD: .masthead img.avatar {

 #+HTML_HEAD:     position:  relative;

 #+HTML_HEAD:     float:  right;

 #+HTML_HEAD:     margin-top:  -100px;

 #+HTML_HEAD:     margin-bottom:  -100%;

 #+HTML_HEAD:     margin-right:  10%;

 #+HTML_HEAD:     width:  200px;

 #+HTML_HEAD:     background-color:  #3F3F37;

 #+HTML_HEAD: }

 #+HTML_HEAD: /* post */

 #+HTML_HEAD: .post {

 #+HTML_HEAD:     position:  relative;

 #+HTML_HEAD: }

 #+HTML_HEAD: .post: after {

 #+HTML_HEAD:     display:  block;

 #+HTML_HEAD:     content:  "----------------------------------------------------------------";

 #+HTML_HEAD:     color:  #EDF060;

 #+HTML_HEAD: }

 #+HTML_HEAD: .post img {

 #+HTML_HEAD:     max-width:  100%;

 #+HTML_HEAD: }

 #+HTML_HEAD: .post li {

 #+HTML_HEAD:     list-style:  none outside none;

 #+HTML_HEAD: }