@import url(basscss.min.css);
@import url(matcha.css);
@import url(pandoc-kate.css);
@import url("https://fonts.googleapis.com/css2?family=IBM+Plex+Mono:ital,wght@0,100;0,200;0,300;0,400;0,500;0,600;0,700;1,100;1,200;1,300;1,400;1,500;1,600;1,700&family=Syne+Mono&display=swap");
/** START: overrides to the matcha.css */
:root {
  max-width: 100%;
  --ft-size: 16px;
  --line-height: 1.618; }

header > nav > a,
header > nav > a:hover {
  border-bottom: none; }

a {
  color: var(--default);
  text-decoration: none;
  border-bottom: solid 1px var(--default); }

a:hover {
  text-decoration: none;
  border-bottom: solid 2px var(--default); }

h1 {
  font-size: 1.5rem; }

h2 {
  font-size: 1.33rem; }

h3 {
  font-size: 1.25rem; }

h4 {
  font-size: 1rem; }

h5 {
  font-size: 0.875rem; }

h6 {
  color: var(--muted);
  font-size: 0.85rem; }

footer {
  text-align: left; }

/** END: overrides to the matcha.css */
.citation {
  background-color: var(--bg-active); }

date.wlogdate {
  background-color: var(--bg-attention);
  color: #001f3f;
  margin-right: 0.5em;
  padding-right: 0.5em; }

div.wlog-index-entry {
  margin-bottom: 1em; }

.cirsq {
  border-top-left-radius: 50% 50%;
  border-top-right-radius: 0%;
  border-bottom-right-radius: 50% 50%;
  border-bottom-left-radius: 50% 50%; }

@media print {
  img,
  #wrapper {
    max-width: 100%;
    font-size: 11pt;
    height: auto;
    /* Maintain aspect ratio */ }
  h1 {
    font-size: 16pt;
    max-width: 100%; }
  h2 {
    font-size: 14pt;
    max-width: 100%; }
  h3 {
    font-size: 12pt;
    max-width: 100%; }
  h4 {
    font-size: 11pt;
    font-weight: bold; }
  #sidenav {
    display: none; } }

/***** print *****/