.highlight .hll{background-color:#ffc}.highlight{background:#fff}.highlight .c{color:#aaa;font-style:italic}.highlight .err{color:red;background-color:#FAA}.highlight .k{color:#00a}.highlight .ch,.highlight .cm{color:#aaa;font-style:italic}.highlight .cp{color:#4c8317}.highlight .c1,.highlight .cpf{color:#aaa;font-style:italic}.highlight .cs{color:#00a;font-style:italic}.highlight .gd{color:#a00}.highlight .ge{font-style:italic}.highlight .gr{color:#a00}.highlight .gh{color:navy;font-weight:700}.highlight .gi{color:#0a0}.highlight .go{color:#888}.highlight .gp{color:#555}.highlight .gs{font-weight:700}.highlight .gu{color:purple;font-weight:700}.highlight .gt{color:#a00}.highlight .kc,.highlight .kd,.highlight .kn,.highlight .kp,.highlight .kr{color:#00a}.highlight .kt{color:#0aa}.highlight .m{color:#099}.highlight .s{color:#a50}.highlight .na{color:#1e90ff}.highlight .nb{color:#0aa}.highlight .nc{color:#0a0;text-decoration:underline}.highlight .no{color:#a00}.highlight .nd{color:#888}.highlight .ni{color:#800;font-weight:700}.highlight .nf{color:#0a0}.highlight .nn{color:#0aa;text-decoration:underline}.highlight .nt{color:#1e90ff;font-weight:700}.highlight .nv{color:#a00}.highlight .ow{color:#00a}.highlight .w{color:#bbb}.highlight .mb,.highlight .mf,.highlight .mh,.highlight .mi,.highlight .mo{color:#099}.highlight .dl,.highlight .s2,.highlight .sa,.highlight .sb,.highlight .sc,.highlight .sd,.highlight .se,.highlight .sh,.highlight .si,.highlight .sx{color:#a50}.highlight .sr{color:#099}.highlight .s1{color:#a50}.highlight .ss{color:#00a}.highlight .bp{color:#0aa}.highlight .fm{color:#0a0}.highlight .vc,.highlight .vg,.highlight .vi,.highlight .vm{color:#a00}.highlight .il{color:#099}pre{margin:1rem;border:1px solid #2f4f4f;padding:1rem}h2{margin-top:1.5rem;margin-left:-10px;margin-right:-10px;background:rgba(0,0,0,.03);padding:5px 10px}.nomis-h2-contents-by-tag{margin-top:3rem;background:#fff}h4,h5,h6{font-style:italic}.draft{background-image:url(/resources/pics/38294d442aab/watermark-draft.png);background-repeat:repeat-y;background-size:100%}table.nomis-article-list{border-collapse:separate;border-spacing:.5rem .5rem}td.nomis-article-list{vertical-align:top}td.nomis-article-list.date{white-space:nowrap}td.nomis-article-list.date.unpublished{text-align:center}.nomis-pretty-001-unselected{color:#fff;background:#20b2aa}.nomis-pretty-001-selected{color:#fff;background:#4682b4}.nomis-pretty-001-unselected:focus,.nomis-pretty-001-unselected:hover{text-decoration:none;color:#000;background:#7fffd4}.nomis-pretty-001-non-link{color:#fff;background:#20b2aa;border-radius:20px;padding:5px 10px;text-align:center;vertical-align:8%;font-size:80%}.nomis-pretty-001-link{border-radius:20px;padding:5px 10px;text-align:center;user-select:none}.nomis-pretty-001-link-in-metadata-line{line-height:250%;margin-left:5px}.nomis-pretty-001-thing-in-sidebar-li{display:block}.nomis-pretty-001-sidebar-li{margin-bottom:10px}.nomis-contents-page-ul{list-style:none;display:flex;justify-content:center;width:100%;margin:0;padding:0}.nomis-contents-page-button{margin:5px}.nomis-contents-page-button-link{padding:5px 10px;text-align:center;user-select:none}.nomis-contents-page-ul-after-separator{border-style:solid;border-bottom-color:#4682b4;border-width:0 0 4px}.nomis-banner{border-radius:20px;margin-bottom:20px;background-color:pink;text-align:center;font-weight:700;font-style:italic}.nomis-banner-for-hidden-articles{border-radius:20px;margin-bottom:20px;background-color:red;text-align:center;font-weight:700;font-style:italic}.nomis-bio-photo-100px{width:100px;height:100px;margin-left:auto;margin-right:auto;background-image:url(/resources/pics/a1e32c63d75a/simon-katz-moody-mugshot-100x100.jpg);background-position:center;background-repeat:no-repeat}.nomis-bio-caption{margin-left:auto;margin-right:auto;width:fit-content;font-weight:700}.nomis-bio-words{margin-bottom:.25rem;font-style:italic;font-size:small}.nomis-metadata{font-style:italic;font-size:small}.nomis-symbols-post-symbol-compare{margin:1rem;border:1px solid #fff}.nomis-symbols-post-clojure{background-color:#C4FFCF}.nomis-symbols-post-common-lisp{background-color:#9CF}.nomis-symbols-post-symbol-compare-layer-2{margin:1rem;background-color:#fff;border:1px solid #fff;padding:1rem}.nomis-symbols-post-language-para{font-weight:700}.nomis-symbols-post-pre{margin:0;border:0;padding:0}.nomis-tagline-in-article{font-style:italic;margin-left:2rem;margin-right:2rem}.nomis-tagline-in-contents-page{font-style:italic;font-size:smaller}.nomis-printable-body{padding-top:0}.nomis-page-break-before{page-break-before:always}.nomis-meta{font-style:italic;margin-left:1rem;margin-right:1rem;color:#00f}.nomis-to-do{color:red;font-weight:700}.nomis-mb-half-rem{margin-bottom:.5rem}.nomis-cv-cell{padding:4px 10px;border-style:solid none none;border-width:1px;border-color:#d3d3d3;vertical-align:top}.nomis-cv-cell-title-col{width:45%}.nomis-cv-spacing-cell{padding:8px 0 0;border-style:none}.nomis-cv-table-section{border-bottom-style:solid;border-width:2px;border-color:#000}.nomis-cv-heading-cell{padding:.5em 10px 4px;border-style:solid none none;border-width:2px}.nomis-key-table{border:2px;border-style:solid;margin-bottom:1em}p{margin-bottom:.6rem}