*, ::before, ::after {
  --tw-border-spacing-x: 0;
  --tw-border-spacing-y: 0;
  --tw-translate-x: 0;
  --tw-translate-y: 0;
  --tw-rotate: 0;
  --tw-skew-x: 0;
  --tw-skew-y: 0;
  --tw-scale-x: 1;
  --tw-scale-y: 1;
  --tw-pan-x:  ;
  --tw-pan-y:  ;
  --tw-pinch-zoom:  ;
  --tw-scroll-snap-strictness: proximity;
  --tw-gradient-from-position:  ;
  --tw-gradient-via-position:  ;
  --tw-gradient-to-position:  ;
  --tw-ordinal:  ;
  --tw-slashed-zero:  ;
  --tw-numeric-figure:  ;
  --tw-numeric-spacing:  ;
  --tw-numeric-fraction:  ;
  --tw-ring-inset:  ;
  --tw-ring-offset-width: 0px;
  --tw-ring-offset-color: #fff;
  --tw-ring-color: rgb(59 130 246 / 0.5);
  --tw-ring-offset-shadow: 0 0 #0000;
  --tw-ring-shadow: 0 0 #0000;
  --tw-shadow: 0 0 #0000;
  --tw-shadow-colored: 0 0 #0000;
  --tw-blur:  ;
  --tw-brightness:  ;
  --tw-contrast:  ;
  --tw-grayscale:  ;
  --tw-hue-rotate:  ;
  --tw-invert:  ;
  --tw-saturate:  ;
  --tw-sepia:  ;
  --tw-drop-shadow:  ;
  --tw-backdrop-blur:  ;
  --tw-backdrop-brightness:  ;
  --tw-backdrop-contrast:  ;
  --tw-backdrop-grayscale:  ;
  --tw-backdrop-hue-rotate:  ;
  --tw-backdrop-invert:  ;
  --tw-backdrop-opacity:  ;
  --tw-backdrop-saturate:  ;
  --tw-backdrop-sepia:  ;
  --tw-contain-size:  ;
  --tw-contain-layout:  ;
  --tw-contain-paint:  ;
  --tw-contain-style:  ; }
::backdrop {
  --tw-border-spacing-x: 0;
  --tw-border-spacing-y: 0;
  --tw-translate-x: 0;
  --tw-translate-y: 0;
  --tw-rotate: 0;
  --tw-skew-x: 0;
  --tw-skew-y: 0;
  --tw-scale-x: 1;
  --tw-scale-y: 1;
  --tw-pan-x:  ;
  --tw-pan-y:  ;
  --tw-pinch-zoom:  ;
  --tw-scroll-snap-strictness: proximity;
  --tw-gradient-from-position:  ;
  --tw-gradient-via-position:  ;
  --tw-gradient-to-position:  ;
  --tw-ordinal:  ;
  --tw-slashed-zero:  ;
  --tw-numeric-figure:  ;
  --tw-numeric-spacing:  ;
  --tw-numeric-fraction:  ;
  --tw-ring-inset:  ;
  --tw-ring-offset-width: 0px;
  --tw-ring-offset-color: #fff;
  --tw-ring-color: rgb(59 130 246 / 0.5);
  --tw-ring-offset-shadow: 0 0 #0000;
  --tw-ring-shadow: 0 0 #0000;
  --tw-shadow: 0 0 #0000;
  --tw-shadow-colored: 0 0 #0000;
  --tw-blur:  ;
  --tw-brightness:  ;
  --tw-contrast:  ;
  --tw-grayscale:  ;
  --tw-hue-rotate:  ;
  --tw-invert:  ;
  --tw-saturate:  ;
  --tw-sepia:  ;
  --tw-drop-shadow:  ;
  --tw-backdrop-blur:  ;
  --tw-backdrop-brightness:  ;
  --tw-backdrop-contrast:  ;
  --tw-backdrop-grayscale:  ;
  --tw-backdrop-hue-rotate:  ;
  --tw-backdrop-invert:  ;
  --tw-backdrop-opacity:  ;
  --tw-backdrop-saturate:  ;
  --tw-backdrop-sepia:  ;
  --tw-contain-size:  ;
  --tw-contain-layout:  ;
  --tw-contain-paint:  ;
  --tw-contain-style:  ; }
.sticky {
  position: sticky; }
.top-0 {
  top: 0px; }
.m-0 {
  margin: 0px; }
.box-border {
  box-sizing: border-box; }
.block {
  display: block; }
.inline {
  display: inline; }
.flex {
  display: flex; }
.table {
  display: table; }
.grid {
  display: grid; }
.contents {
  display: contents; }
.hidden {
  display: none; }
.max-h-48 {
  max-height: 12rem; }
.w-full {
  width: 100%; }
.max-w-xl {
  max-width: 36rem; }
.transform {
  transform: translate(var(--tw-translate-x), var(--tw-translate-y)) rotate(var(--tw-rotate)) skewX(var(--tw-skew-x)) skewY(var(--tw-skew-y)) scaleX(var(--tw-scale-x)) scaleY(var(--tw-scale-y)); }
.resize {
  resize: both; }
.list-inside {
  list-style-position: inside; }
.list-disc {
  list-style-type: disc; }
.list-none {
  list-style-type: none; }
.grid-cols-\[1fr_max-content\] {
  grid-template-columns: 1fr max-content; }
.flex-row {
  flex-direction: row; }
.flex-col {
  flex-direction: column; }
.flex-wrap {
  flex-wrap: wrap; }
.items-center {
  align-items: center; }
.gap-1 {
  gap: 0.25rem; }
.gap-2 {
  gap: 0.5rem; }
.gap-3 {
  gap: 0.75rem; }
.overflow-y-auto {
  overflow-y: auto; }
.p-0 {
  padding: 0px; }
.text-center {
  text-align: center; }
.font-mono {
  font-family: ui-monospace, SFMono-Regular, Menlo, Monaco, Consolas, "Liberation Mono", "Courier New", monospace; }
.text-sm {
  font-size: 0.875rem;
  line-height: 1.25rem; }
.font-bold {
  font-weight: 700; }
.italic {
  font-style: italic; }
.filter {
  filter: var(--tw-blur) var(--tw-brightness) var(--tw-contrast) var(--tw-grayscale) var(--tw-hue-rotate) var(--tw-invert) var(--tw-saturate) var(--tw-sepia) var(--tw-drop-shadow); }
body,
p {
  font-family: Helvetica, Arial, sans-serif; }

p,
li {
  line-height: 1.6em; }

/* Graphics */
article figure {
  display: flex;
  flex-direction: column;
  align-items: center; }

article figure img {
  max-height: 500px;
  max-width: 100%; }

.mermaid {
  display: flex;
  justify-content: center; }

/* code and table display */
/* This will prevent the code snippets from looking strange on my iphone */
@media (max-width: 600px) {
  code {
    -webkit-text-size-adjust: none; } }

article pre {
  display: block;
  overflow-x: auto;
  border-radius: 4px;
  padding: 1em;
  background-color: #fdf6e3; }

article table {
  width: 100%;
  display: block;
  overflow-x: auto; }

article th,
article td {
  padding-right: 2em;
  padding-bottom: 0.25em; }

.pagination {
  margin-left: 0;
  padding: 0;
  list-style: none; }

.pagination > .page-item {
  display: inline; }

@media (min-width: 640px) {
  .sm\:p-1 {
    padding: 0.25rem; }
  .sm\:px-1 {
    padding-left: 0.25rem;
    padding-right: 0.25rem; } }