body {
  background: white;
  color: #333;

  font-family: -apple-system, BlinkMacSystemFont, "Segoe UI", Helvetica, Arial,
    sans-serif, "Apple Color Emoji", "Segoe UI Emoji", "Segoe UI Symbol";

  /* font-size: 11pt; */
  /* line-height: 1.5; */
  /* margin: 0px 16px 0px 16px; */
  margin: 0;
  padding: 0;
  padding-bottom: 2em; /* account for ad at the bottom */
}

code {
  background-color: #f9f9f9;
}
/* 
h1,
h2,
h3 {
  font-size: medium;
} */

/* h1 {
  margin-bottom: 2px;
  padding: 0;
} */

h1,
h2,
h3 {
  letter-spacing: -0.01em;
  line-height: 1.2;
  font-weight: 600;
  margin-bottom: 4pt;
}

.page-title {
  font-size: 2.5rem;
  font-weight: 700;
  margin-top: 0;
  margin-bottom: 0.75em;
}

h1 {
  font-size: 1.875rem;
  margin-top: 1.875rem;
}

h2 {
  font-size: 1.5rem;
  margin-top: 1.5rem;
}

h3 {
  font-size: 1.25rem;
  margin-top: 1.25rem;
}

img {
  border: 0;
}

blockquote {
  font-style: italic;
}

div#tophdr {
  font-size: 10pt;
  font-weight: bold;
  margin: 0px;
  padding: 6pt;
  padding-left: 16px;
  padding-right: 16px;
}

div.centered {
  text-align: center;
}

div.centered table {
  margin: 0 auto;
  text-align: left;
}

#content {
  display: flex;
  justify-content: center;
}

hr {
  border: 0;
  border-top: 1px solid #eee;
}

.lvl1 {
  margin-left: 1em;
}

.lvl2 {
  margin-left: 2em;
}

.lvl3 {
  margin-left: 3em;
}

.lvl4 {
  margin-left: 4em;
}

.column-list {
  display: flex;
  width: 100%;
}

/* size all columns equally */
.column-list > div {
  flex: 1;
}

.title {
  display: flex;
  align-items: center;
  flex-wrap: wrap;
  justify-content: space-around;
  column-gap: 4px;
  row-gap: 8px;
  margin-block-end: 0.5em !important;
}

a {
  color: #0894f1;
  background: transparent;
  text-decoration: none;
}

a:hover {
  /* color: #044978; */
  color: #054d7d;
  /* text-decoration: underline; */
  /* background-color: rgba(173, 216, 230, 0.094); */
}

.taglink {
  color: gray;
  text-decoration: none;
}

a.taglink:hover {
  text-decoration: underline;
}

.article-header {
  margin-top: 16px;
}

.hdr-image:hover {
  filter: grayscale(100%);
}

.center {
  margin-left: auto;
  margin-right: auto;
  text-align: center;
}

.wrap {
  width: calc(100% - 2rem);
  max-width: 960px;
  margin-left: auto;
  margin-right: auto;
}

.selected-img {
  border: 1px solid lightskyblue;
}

.img-wrapper-wrapper {
  display: flex;
  flex-direction: row;
  justify-content: center;
}

.img-wrapper {
  position: relative;
}

.img-wrapper > img {
  object-fit: scale-down;
  max-width: 95vw;
  max-height: 480px;
}

.nav-icon-left {
  position: absolute;
  left: -16px;
  top: calc(50% - 24px);
}

.nav-icon-right {
  position: absolute;
  right: -16px;
  top: calc(50% - 24px);
}

a.for-nav-icon {
  display: flex;

  text-decoration: none;
  font-size: 0px;
  justify-content: center;
  align-items: center;

  fill: gray;
  width: 40px;
  height: 40px;

  border-radius: 24px;
  background-color: hsl(0, 0%, 100%);
  box-shadow: 0 4px 4px rgba(0, 0, 0, 0.3), 0 0 4px rgba(0, 0, 0, 0.2);
}

a.for-nav-icon:hover {
  fill: #555;
  background-color: hsl(0, 0%, 95%);
}

.nav-icon {
  width: 24px;
  height: 24px;
  pointer-events: none;
  display: block;
}

.ib {
  display: inline-block;
}

/* https://stackoverflow.com/questions/19390690/css-media-queries-to-hide-and-show-page-elements
TODO: it still loads the image if it's inside div hidden with this trick, at least in Chrome's device simulator
See: https://timkadlec.com/2012/04/media-query-asset-downloading-results/
*/
@media only screen and (max-width: 767px),
  only screen and (max-device-width: 767px) {
  .hide-mobile {
    display: none;
  }
}

/* based on https://gomakethings.com/how-to-break-an-image-out-of-its-parent-container-with-css/ */
.page-cover-image {
  left: calc(50% - 8px);
  margin-left: -50vw;
  margin-right: -50vw;
  max-width: 100vw;
  position: relative;
  right: 50%;
  width: 100vw;
  overflow: hidden;

  height: 30vh;
  object-fit: cover;
  /* object-fit: contain; */
  /* object-fit: fill; */
  display: block;
  width: 100vw;  
  margin-top: 10px;
}

/* if changing size to a different value, also update default.css if .CoverImageURL */
/* https://internetingishard.com/html-and-css/responsive-images/ */
@media (max-width: 768px) {
  .page-cover-image {
    display: none;
  }
}

.table_of_contents-item {
  display: block;
  font-size: 0.875rem;
  line-height: 1.3;
  padding: 0.125rem;
}

.table_of_contents-indent-1 {
  margin-left: 1.5rem;
}

.table_of_contents-indent-2 {
  margin-left: 3rem;
}

.table_of_contents-indent-3 {
  margin-left: 4.5rem;
}

.table_of_contents-link {
  text-decoration: none;
  opacity: 0.7;
  border-bottom: 1px solid rgba(55, 53, 47, 0.18);
}

nav div {
  margin-block-end: 0 !important;
}

.block-color-gray {
  color: rgba(55, 53, 47, 0.6);
  fill: rgba(55, 53, 47, 0.6);
}

.article-meta {
  display: flex;
  flex-direction: row;
  align-items: center;

  padding-top: 1em;

  color: gray;
  font-size: 0.7em;
}

.article-meta > div {
  flex: 1 0 0;
}

.article-meta > div:nth-child(2) {
  text-align: center;
  font-size: 1.1em;
  flex-grow: 0;
  flex-shrink: 1;
}

.article-meta > div:nth-child(3) {
  text-align: right;
}

div.indented {
  margin-left: 1em;
}

div#post div {
  min-height: 1em;
  /* line-height: 1.5em; */
  margin-block-start: 0;
  margin-block-end: 0.5em;
}

div#post div.page {
  margin-block-end: 0;
}

.notion-callout {
  background-color: #efefef;
  padding: 0.5em 0.5em;
}

.notion-figure-icon-wrap {
  padding-right: 0.3em;
}

.notion-date {
  opacity: 0.5;
}

.notion-video {
  max-width: 100%;
}

hr.notion-divider {
  margin-top: 1em;
  margin-bottom: 1em;

  border: 0;
  border-top: 1px solid #eee;
}

/* Note: there might be more elements we need to add here */
details.notion-toggle > div,
details.notion-toggle > details {
  margin-left: 1.4em;
}

/* neutralize dy margin at the top and the bottom of lists
   when nested inside toggle list */
details.notion-toggle > ul,
details.notion-toggle > ol {
  margin-block-start: 0;
  margin-block-end: 0;
}

details.notion-toggle > summary::-webkit-details-marker:hover {
  color: gray;
  cursor: pointer;
}

img.notion-image {
  display: block;
  margin-left: auto;
  margin-right: auto;
  max-width: 100%;
}

div.column-list {
  display: flex;
  width: 100%;
}

/* size all columns equally */
div.column {
  flex: 1;
  padding-right: 8px;
}

table.notion-table {
  background-color: white;
}

table.notion-table th {
  color: rgb(165, 165, 165);
  font-weight: normal;
  border-right: 1px solid rgb(243, 243, 243);
  border-bottom: 1px solid rgb(221, 225, 227);
  border-top: 1px solid rgb(221, 225, 227);
  padding: 1px 8px 1px;
  margin: 0px;
}

table.notion-table td {
  border-right: 1px solid rgb(243, 243, 243);
  border-bottom: 1px solid rgb(221, 225, 227);
  padding: 1px 8px 1px;
  margin: 0px;
}

.ad {
  font-family: geneva, helvetica, arial, sans-serif;
  font-size: 12pt;
  background-color: #fbf0fa;
  padding: 4px 8px;
}

.adl {
  color: green;
}

.light {
  color: #999999;
}


.blog-img {
  display: block;
  margin-left: auto;
  margin-right: auto;
  max-width: 100%;
}

#container {
  margin-left: 16pt;
  margin-right: 16pt;
}

.hdr {
  padding-top: 2px;
  /* border-bottom: 1px solid #0894f1; */
  box-shadow: 0px 3px 4px -4px #0894f1;
}

/* used in mainpage.html */

.mainpage-wrap {
  display: flex;
  flex-direction: column;
  align-items: center;
  color: #444;
  padding-right: 8px;
  padding-left: 8px;
}

.head-img-wrapper {
  display: flex;
  flex-direction: row;
  align-items: center;  
}

.underline {
  border-bottom: 1px solid rgba(0, 0, 0, 0.1);
  padding-bottom: 4px;
  margin-bottom: 24px;
}

.book-cover {
  width: 160px;
  height: 160px;
  margin-left: 4px;
  margin-right: 4px;
  object-fit: contain;
}

.book-list-headline {
  margin-bottom: 1em;
  margin-top: 0.5em;

  text-align: center;
  font-weight: bold;
}

#books-list {
  justify-content: center;
}

.articles-list-wrap {
  align-items: center;
  line-height: 1.8;
}

.headline {
  line-height: 1.4em;
}

#soft-list {
  display: flex;
  flex-direction: row;
  flex-wrap: wrap;
  justify-content: center;
}

.soft-title {
  align-self: center;
  margin-top: 8px;

  font-weight: bold;
}

.soft-card {
  display: flex;
  flex-direction: column;
  padding: 15px;
  margin-left: 16px;
  box-shadow: 0 7px 14px 0 rgba(60, 66, 87, 0.1),
    0 3px 6px 0 rgba(0, 0, 0, 0.07);
}

.soft-desc {
  font-size: 90%;
  max-width: 240px; /* same as soft-card-img */
  margin-top: 8px;
}

.soft-card-img {
  width: 240px;
  height: 240px;
  /* object-fit: contain; */
}

#banner-notice {
  display: flex;
  flex-direction: row;
  justify-content: center;

  padding-top: 1em;

  font-weight: bold;
}

#banner-notice div {
  padding: 0.5em 1em;
  /* font-size: 10pt; */
  border: 1px solid dodgerblue;
  border-radius: 8px;
  /* background-color: #fdff78; */
}

#ad-software {
  position: fixed;
  left: 0;
  right: 0;
  bottom: 0;
  padding: 8px 2em;

  border-top: 1px solid #e6e00c;
  background-color: #fdff78;

  color: #541515;

  /* initially hidden, shown via javascript */
  display: none;
}

#ad-software a {
  color: #541515;
  text-decoration: underline;
  position: relative;
}

#ad-software a:hover {
  position: relative;
}

#ad-software a:hover:after {
  content: url("/static/documentalist-shot-320px.png");
  display: block;
  position: absolute;
  left: -74px;
  bottom: 1.5em;
  background-color: #fdff78;
  padding: 1em 1em;
}

/*
Orginal Style from ethanschoonover.com/solarized (c) Jeremy Hull <sourdrums@gmail.com>
*/

.hljs {
  display: block;
  overflow-x: auto;
  padding: 0.5em;
  background-color: #fdfdfd;
  color: #657b83;
  border: 1px solid #e5e5e5;
  overflow-x: visible;
  font-size: 85%;
  tab-size: 2;
}

.hljs-comment,
.hljs-quote {
  color: #93a1a1;
}

/* Solarized Green */

.hljs-keyword,
.hljs-selector-tag,
.hljs-addition {
  color: #859900;
}

/* Solarized Cyan */

.hljs-number,
.hljs-string,
.hljs-meta .hljs-meta-string,
.hljs-literal,
.hljs-doctag,
.hljs-regexp {
  color: #2aa198;
}

/* Solarized Blue */

.hljs-title,
.hljs-section,
.hljs-name,
.hljs-selector-id,
.hljs-selector-class {
  color: #268bd2;
}

/* Solarized Yellow */

.hljs-attribute,
.hljs-attr,
.hljs-variable,
.hljs-template-variable,
.hljs-class .hljs-title,
.hljs-type {
  color: #b58900;
}

/* Solarized Orange */

.hljs-symbol,
.hljs-bullet,
.hljs-subst,
.hljs-meta,
.hljs-meta .hljs-keyword,
.hljs-selector-attr,
.hljs-selector-pseudo,
.hljs-link {
  color: #cb4b16;
}

/* Solarized Red */

.hljs-built_in,
.hljs-deletion {
  color: #dc322f;
}

.hljs-formula {
  background: #eee8d5;
}

.hljs-emphasis {
  font-style: italic;
}

.hljs-strong {
  font-weight: bold;
}

/*
https://raw.githubusercontent.com/google/code-prettify/master/src/prettify.css
*/

/**
 * @license
 * Copyright (C) 2015 Google Inc.
 *
 * Licensed under the Apache License, Version 2.0 (the "License");
 * you may not use this file except in compliance with the License.
 * You may obtain a copy of the License at
 *
 *      http://www.apache.org/licenses/LICENSE-2.0
 *
 * Unless required by applicable law or agreed to in writing, software
 * distributed under the License is distributed on an "AS IS" BASIS,
 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 * See the License for the specific language governing permissions and
 * limitations under the License.
 */

/* Pretty printing styles. Used with prettify.js. */

/* SPAN elements with the classes below are added by prettyprint. */

.pln {
  color: #000;
}

/* plain text */

@media screen {
  .str {
    color: #080;
  }
  /* string content */
  .kwd {
    color: #008;
  }
  /* a keyword */
  .com {
    color: #800;
  }
  /* a comment */
  .typ {
    color: #606;
  }
  /* a type name */
  .lit {
    color: #066;
  }
  /* a literal value */
  /* punctuation, lisp open bracket, lisp close bracket */
  .pun,
  .opn,
  .clo {
    color: #660;
  }
  .tag {
    color: #008;
  }
  /* a markup tag name */
  .atn {
    color: #606;
  }
  /* a markup attribute name */
  .atv {
    color: #080;
  }
  /* a markup attribute value */
  .dec,
  .var {
    color: #606;
  }
  /* a declaration; a variable name */
  .fun {
    color: red;
  }
  /* a function name */
}

/* Use higher contrast and text-weight for printable form. */

@media print, projection {
  .str {
    color: #060;
  }
  .kwd {
    color: #006;
    font-weight: bold;
  }
  .com {
    color: #600;
    font-style: italic;
  }
  .typ {
    color: #404;
    font-weight: bold;
  }
  .lit {
    color: #044;
  }
  .pun,
  .opn,
  .clo {
    color: #440;
  }
  .tag {
    color: #006;
    font-weight: bold;
  }
  .atn {
    color: #404;
  }
  .atv {
    color: #060;
  }
}

/* Put a border around prettyprinted code snippets. */

pre.prettyprint {
  padding: 2px;
  border: 1px solid #888;
}

/* Specify class=linenums on a pre to get line numbering */

ol.linenums {
  margin-top: 0;
  margin-bottom: 0;
}

/* IE indents via margin-left */

li.L0,
li.L1,
li.L2,
li.L3,
li.L5,
li.L6,
li.L7,
li.L8 {
  list-style-type: none;
}

/* Alternate shading for lines */

li.L1,
li.L3,
li.L5,
li.L7,
li.L9 {
  background: #eee;
}

.share-me {
  font-size: 90%;
  color: gray;
  background-color: #f3fafd;
  display: inline-block;
  padding: 8px 16px;
}

.draft {
  color: red;
  font-size: 80%;
}

.edit-link {
  color: white;
}

.edit-link:hover {
  color: #0894f1;
}

#msg-for-chris {
  width: 100%;
  height: 8em;
}

textarea {
  font-size: 12pt;
}

#contact-form {
  padding: 1em 2em;
  width: 75vw;
  position: fixed;
  right: 8px;
  bottom: 2em;
  z-index: 99;
  background-color: #f3f3f3;
  border: 1px solid lightgray;
  box-shadow: 0 4px 4px rgba(0, 0, 0, 0.3), 0 0 4px rgba(0, 0, 0, 0.2);

  /* initially hidden */
  display: none;
}

#contact-form button {
  padding: 8px 8px;
}

#contact-page-url {
  font-size: 85%;
  border: 0;
  color: grey;
  margin-left: 2px;
  background-color: inherit;
}

form > input {
  width: 100%;
}

form > button {
  border: 1px solid lightgray
}

form > button:hover {
  background-color: lightgray;
}

.contact-light {
  font-size: 85%;
  color: gray;
  margin-left: 2px;
  margin-bottom: 4px;
}

pre.chroma {
  display: block;
  overflow-x: auto;
  padding: 0.5em;
  background-color: #fdfdfd;
  color: #657b83;
  border: 1px solid #e5e5e5;
  overflow-x: visible;
  font-size: 85%;
  tab-size: 2;
}

/* Background */
.chroma {
  color: #272822;
  background-color: #fafafa;
}
/* Error */
.chroma .err {
  color: #960050;
  /* background-color: #1e0010; */
}
/* LineTableTD */
.chroma .lntd {
  vertical-align: top;
  padding: 0;
  margin: 0;
  border: 0;
}
/* LineTable */
.chroma .lntable {
  border-spacing: 0;
  padding: 0;
  margin: 0;
  border: 0;
  width: 100%;
  overflow: auto;
  display: block;
}
/* LineHighlight */
.chroma .hl {
  display: block;
  width: 100%;
}
/* LineNumbersTable */
.chroma .lnt {
  margin-right: 0.4em;
  padding: 0 0.4em 0 0.4em;
  display: block;
}
/* LineNumbers */
.chroma .ln {
  margin-right: 0.4em;
  padding: 0 0.4em 0 0.4em;
}
/* Keyword */
.chroma .k {
  color: #00a8c8;
}
/* KeywordConstant */
.chroma .kc {
  color: #00a8c8;
}
/* KeywordDeclaration */
.chroma .kd {
  color: #00a8c8;
}
/* KeywordNamespace */
.chroma .kn {
  color: #f92672;
}
/* KeywordPseudo */
.chroma .kp {
  color: #00a8c8;
}
/* KeywordReserved */
.chroma .kr {
  color: #00a8c8;
}
/* KeywordType */
.chroma .kt {
  color: #00a8c8;
}
/* Name */
.chroma .n {
  color: #111111;
}
/* NameAttribute */
.chroma .na {
  color: #75af00;
}
/* NameBuiltin */
.chroma .nb {
  color: #111111;
}
/* NameBuiltinPseudo */
.chroma .bp {
  color: #111111;
}
/* NameClass */
.chroma .nc {
  color: #75af00;
}
/* NameConstant */
.chroma .no {
  color: #00a8c8;
}
/* NameDecorator */
.chroma .nd {
  color: #75af00;
}
/* NameEntity */
.chroma .ni {
  color: #111111;
}
/* NameException */
.chroma .ne {
  color: #75af00;
}
/* NameFunction */
.chroma .nf {
  color: #75af00;
}
/* NameFunctionMagic */
.chroma .fm {
  color: #111111;
}
/* NameLabel */
.chroma .nl {
  color: #111111;
}
/* NameNamespace */
.chroma .nn {
  color: #111111;
}
/* NameOther */
.chroma .nx {
  color: #75af00;
}
/* NameProperty */
.chroma .py {
  color: #111111;
}
/* NameTag */
.chroma .nt {
  color: #f92672;
}
/* NameVariable */
.chroma .nv {
  color: #111111;
}
/* NameVariableClass */
.chroma .vc {
  color: #111111;
}
/* NameVariableGlobal */
.chroma .vg {
  color: #111111;
}
/* NameVariableInstance */
.chroma .vi {
  color: #111111;
}
/* NameVariableMagic */
.chroma .vm {
  color: #111111;
}
/* Literal */
.chroma .l {
  color: #ae81ff;
}
/* LiteralDate */
.chroma .ld {
  color: #d88200;
}
/* LiteralString */
.chroma .s {
  color: #d88200;
}
/* LiteralStringAffix */
.chroma .sa {
  color: #d88200;
}
/* LiteralStringBacktick */
.chroma .sb {
  color: #d88200;
}
/* LiteralStringChar */
.chroma .sc {
  color: #d88200;
}
/* LiteralStringDelimiter */
.chroma .dl {
  color: #d88200;
}
/* LiteralStringDoc */
.chroma .sd {
  color: #d88200;
}
/* LiteralStringDouble */
.chroma .s2 {
  color: #d88200;
}
/* LiteralStringEscape */
.chroma .se {
  color: #8045ff;
}
/* LiteralStringHeredoc */
.chroma .sh {
  color: #d88200;
}
/* LiteralStringInterpol */
.chroma .si {
  color: #d88200;
}
/* LiteralStringOther */
.chroma .sx {
  color: #d88200;
}
/* LiteralStringRegex */
.chroma .sr {
  color: #d88200;
}
/* LiteralStringSingle */
.chroma .s1 {
  color: #d88200;
}
/* LiteralStringSymbol */
.chroma .ss {
  color: #d88200;
}
/* LiteralNumber */
.chroma .m {
  color: #ae81ff;
}
/* LiteralNumberBin */
.chroma .mb {
  color: #ae81ff;
}
/* LiteralNumberFloat */
.chroma .mf {
  color: #ae81ff;
}
/* LiteralNumberHex */
.chroma .mh {
  color: #ae81ff;
}
/* LiteralNumberInteger */
.chroma .mi {
  color: #ae81ff;
}
/* LiteralNumberIntegerLong */
.chroma .il {
  color: #ae81ff;
}
/* LiteralNumberOct */
.chroma .mo {
  color: #ae81ff;
}
/* Operator */
.chroma .o {
  color: #f92672;
}
/* OperatorWord */
.chroma .ow {
  color: #f92672;
}
/* Punctuation */
.chroma .p {
  color: #111111;
}
/* Comment */
.chroma .c {
  color: #75715e;
}
/* CommentHashbang */
.chroma .ch {
  color: #75715e;
}
/* CommentMultiline */
.chroma .cm {
  color: #75715e;
}
/* CommentSingle */
.chroma .c1 {
  color: #75715e;
}
/* CommentSpecial */
.chroma .cs {
  color: #75715e;
}
/* CommentPreproc */
.chroma .cp {
  color: #75715e;
}
/* CommentPreprocFile */
.chroma .cpf {
  color: #75715e;
}
/* GenericEmph */
.chroma .ge {
  font-style: italic;
}
/* GenericStrong */
.chroma .gs {
  font-weight: bold;
}

/* mini tailwindcss */
/*
https://github.com/tachyons-css/tachyons-flexbox
http://tachyons.io/docs/
*/
.sticky {
  position: sticky;
}

.hidden {
  display: none;
}

.top-0 {
  top: 0;
}

.bg-white {
  --tw-bg-opacity: 1;
  background-color: rgb(255 255 255 / var(--tw-bg-opacity));
}

.flex {
  display: flex;
}
.grow {
  flex-grow: 1;
}

.items-center	{
  align-items: center;
}

justify-between	{
  justify-content: space-between;
}

.flex-row {
  display: flex;
  flex-direction: row;
}

.flex-col {
  display: flex;
  flex-direction: column;
}

.z-10 {
  z-index: 10;
}

.f7 {
  font-size: 0.75rem;
}
.mt1 {
  margin-top: 0.25rem;
}
.mt2 {
  margin-top: 0.5rem;
}
.mt3 {
  margin-top: 1rem;
}
.mb6 {
  margin-bottom: 2rem;
}

.pa1 {
  padding: 4px;
}

.mr2 {
  margin-right: 0.5rem;
}
.mr3 {
  margin-right: 1rem;
}

.nowrap {
  white-space: nowrap;
}