:root {
  --text: rgb(56, 56, 56);
  --bg: #fff;
  --alt-colour: #a5a5a5;
  --paginator: #f6f6f6;
  --paginator-shadow: #d1d1d1;
  --link: #0066cc;
  --link-hover: #004d9e;
  --code-bg: #2d3339;
  --code: #aaa;
}

/* playfair-display-500 - latin */
@font-face {
  font-family: "Playfair Display";
  font-style: normal;
  font-weight: 500;
  font-display: swap;
  src: url("fonts/playfair-display-v21-latin-500.eot"); /* IE9 Compat Modes */
  src: local(""),
    url("fonts/playfair-display-v21-latin-500.eot?#iefix")
      format("embedded-opentype"),
    /* IE6-IE8 */ url("fonts/playfair-display-v21-latin-500.woff2")
      format("woff2"),
    /* Super Modern Browsers */
      url("fonts/playfair-display-v21-latin-500.woff") format("woff"),
    /* Modern Browsers */ url("fonts/playfair-display-v21-latin-500.ttf")
      format("truetype"),
    /* Safari, Android, iOS */
      url("fonts/playfair-display-v21-latin-500.svg#PlayfairDisplay")
      format("svg"); /* Legacy iOS */
}
/* playfair-display-600italic - latin */
@font-face {
  font-family: "Playfair Display";
  font-style: italic;
  font-weight: 600;
  font-display: swap;
  src: url("fonts/playfair-display-v21-latin-600italic.eot"); /* IE9 Compat Modes */
  src: local(""),
    url("fonts/playfair-display-v21-latin-600italic.eot?#iefix")
      format("embedded-opentype"),
    /* IE6-IE8 */ url("fonts/playfair-display-v21-latin-600italic.woff2")
      format("woff2"),
    /* Super Modern Browsers */
      url("fonts/playfair-display-v21-latin-600italic.woff") format("woff"),
    /* Modern Browsers */
      url("fonts/playfair-display-v21-latin-600italic.ttf")
      format("truetype"),
    /* Safari, Android, iOS */
      url("fonts/playfair-display-v21-latin-600italic.svg#PlayfairDisplay")
      format("svg"); /* Legacy iOS */
}
/* source-sans-3-regular - latin */
@font-face {
  font-family: 'Source Sans 3';
  font-style: normal;
  font-weight: 400;
  src: url('fonts/source-sans-3-v8-latin-regular.eot'); /* IE9 Compat Modes */
  src: local(''),
       url('fonts/source-sans-3-v8-latin-regular.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */
       url('fonts/source-sans-3-v8-latin-regular.woff2') format('woff2'), /* Super Modern Browsers */
       url('fonts/source-sans-3-v8-latin-regular.woff') format('woff'), /* Modern Browsers */
       url('fonts/source-sans-3-v8-latin-regular.ttf') format('truetype'), /* Safari, Android, iOS */
       url('fonts/source-sans-3-v8-latin-regular.svg#SourceSans3') format('svg'); /* Legacy iOS */
}
/* source-sans-3-700 - latin */
@font-face {
  font-family: 'Source Sans 3';
  font-style: normal;
  font-weight: 700;
  src: url('fonts/source-sans-3-v8-latin-700.eot'); /* IE9 Compat Modes */
  src: local(''),
       url('fonts/source-sans-3-v8-latin-700.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */
       url('fonts/source-sans-3-v8-latin-700.woff2') format('woff2'), /* Super Modern Browsers */
       url('fonts/source-sans-3-v8-latin-700.woff') format('woff'), /* Modern Browsers */
       url('fonts/source-sans-3-v8-latin-700.ttf') format('truetype'), /* Safari, Android, iOS */
       url('fonts/source-sans-3-v8-latin-700.svg#SourceSans3') format('svg'); /* Legacy iOS */
}
/* source-sans-3-italic - latin */
@font-face {
  font-family: 'Source Sans 3';
  font-style: italic;
  font-weight: 400;
  src: url('fonts/source-sans-3-v8-latin-italic.eot'); /* IE9 Compat Modes */
  src: local(''),
       url('fonts/source-sans-3-v8-latin-italic.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */
       url('fonts/source-sans-3-v8-latin-italic.woff2') format('woff2'), /* Super Modern Browsers */
       url('fonts/source-sans-3-v8-latin-italic.woff') format('woff'), /* Modern Browsers */
       url('fonts/source-sans-3-v8-latin-italic.ttf') format('truetype'), /* Safari, Android, iOS */
       url('fonts/source-sans-3-v8-latin-italic.svg#SourceSans3') format('svg'); /* Legacy iOS */
}
/* source-sans-3-700italic - latin */
@font-face {
  font-family: 'Source Sans 3';
  font-style: italic;
  font-weight: 700;
  src: url('fonts/source-sans-3-v8-latin-700italic.eot'); /* IE9 Compat Modes */
  src: local(''),
       url('fonts/source-sans-3-v8-latin-700italic.eot?#iefix') format('embedded-opentype'), /* IE6-IE8 */
       url('fonts/source-sans-3-v8-latin-700italic.woff2') format('woff2'), /* Super Modern Browsers */
       url('fonts/source-sans-3-v8-latin-700italic.woff') format('woff'), /* Modern Browsers */
       url('fonts/source-sans-3-v8-latin-700italic.ttf') format('truetype'), /* Safari, Android, iOS */
       url('fonts/source-sans-3-v8-latin-700italic.svg#SourceSans3') format('svg'); /* Legacy iOS */
}
/* source-code-pro-regular - latin */
@font-face {
  font-family: "Source Code Pro";
  font-style: normal;
  font-weight: 400;
  font-display: swap;
  src: url("fonts/source-code-pro-v13-latin-regular.eot"); /* IE9 Compat Modes */
  src: local(""),
    url("fonts/source-code-pro-v13-latin-regular.eot?#iefix")
      format("embedded-opentype"),
    /* IE6-IE8 */ url("fonts/source-code-pro-v13-latin-regular.woff2")
      format("woff2"),
    /* Super Modern Browsers */
      url("fonts/source-code-pro-v13-latin-regular.woff") format("woff"),
    /* Modern Browsers */
      url("fonts/source-code-pro-v13-latin-regular.ttf") format("truetype"),
    /* Safari, Android, iOS */
      url("fonts/source-code-pro-v13-latin-regular.svg#SourceCodePro")
      format("svg"); /* Legacy iOS */
}

/* Text-Balancer */

.balance-text {
  visibility: hidden;
}

@media (scripting: none) {
  .balance-text {
    visibility: visible;
  }
}

@supports (text-wrap: balance) {
  .balance-text {
    text-wrap: balance;
    visibility: visible;
  }
}

/* Body */

body {
  margin: 2.8em auto 3em auto;
  padding: 0px 12vw;
  max-width: 700px;
  min-width: 50px;
  line-height: 1.7;
  color: rgb(56, 56, 56);
  font-family: "Source Sans 3", "Source Sans Pro", "Open Sans", sans;
  text-align: justify;
  text-rendering: optimizeLegibility;
  -webkit-font-smoothing: subpixel-antialiased; /* corrects safari rendering */
  font-size: 20px;
}

p {
  hyphens: auto;
}

a,
a:visited {
  color: var(--link);
  transition: .2s ease;
}

a:hover {
  color: var(--link-hover);
  transition: .2s ease;
}

/* Header stuff */

header p,
header a,
header span {
  font-family: "Playfair Display", serif;
  font-size: 1.08rem;
}

header .author {
  font-size: 1.2em;
}

/* Footer */

footer {
  font-family: "Playfair Display", serif;
  text-align: center;
}

.author-footer {
  font-size: 2.25rem;
}

/* Title */

.header-text {
  font-style: italic;
  font-size: 2em;
  text-align: start;
  padding: 0;
}

/* Author with date (before footer) */

.author,
.author-footer {
  font-style: italic;
  text-decoration-color: var(--link);
  color: rgb(56, 56, 56);
  margin: 0;
}

.authordate {
  font-weight: 600;
  text-align: center;
  padding: 1em 0 1em 0;
}

/* Paginator */

.paginator {
  display: flex;
  position: relative;
  padding: 1.75em;
  background: var(--paginator);
  border-radius: 25px;
  margin: 0 0 3em 0;
  -webkit-box-shadow: 12px 12px 24px var(--paginator-shadow), -12px -12px 24px #ffffff;
  box-shadow: 12px 12px 24px var(--paginator-shadow), -12px -12px 24px #ffffff;
}

.paginator p {
  font-family: "Source Sans 3", sans;
  font-size: 0.82em;
  margin: 0;
  hyphens: none;
}

.paginator-header {
  font-size: 1em;
  font-family: "Playfair Display", serif;
  font-weight: bold;
}

a.next {
  margin: 0;
  float: right;
  text-align: right;
  width: 50%;
  padding-left: 10px;
  box-sizing: border-box;
}

a.previous {
  margin: 0;
  float: left;
  text-align: left;
  width: 50%;
  padding-right: 10px;
  box-sizing: border-box;
  text-align: left;
}

/* The Headers */

h1 {
  font-family: "Playfair Display", serif;
  text-decoration: none;
  color: rgb(56, 56, 56);
  font-size: 1.875rem;
}

h2 {
  font-family: "Playfair Display", serif;
  font-size: 1.625rem;
  letter-spacing: 0.01em;
}

h3 {
  font-size: 1.375rem;
  letter-spacing: 0.01em;
}

h3,
h4,
h5,
h6 {
  font-family: "Playfair Display", serif;
  letter-spacing: 0.01em;
}

/* Dotted hr */

hr {
  margin: 60px 30px;
  display: flex;
  bottom: 8px;
  border: 0.2rem dotted;
  padding: 0.06rem;
  color: var(--alt-colour);
  z-index: -1;
}

header > hr {
  margin: 40px 30px;
}

footer {
  margin: 0 auto;
  text-align: center;
}

/* Image */

img {
  position: relative;
  width: 100%;
  border-radius: 5px;
  height: 100%;
}

img-attrib {
  font-style: italic;
  text-align: center;
  padding: 0 0 0 5px;
}

/* Table */

table {
  border-collapse: collapse;
  border-top: 0.3rem solid #333;
  margin-bottom: var(--line-height);
  width: 100%;
}

table td,
table th {
  padding: calc(var(--line-height) / 4) 0.6rem;
}

table td:first-child,
table th:first-child {
  padding-left: 0;
}

table td:last-child,
table th:last-child {
  padding-right: 0;
}

table th {
  font-weight: normal;
  text-align: left;
}

table tbody tr:first-child {
  border-top: 0.2rem solid #333;
}

table tbody tr:last-child {
  border-bottom: 0.3rem solid #333;
}

/* listtype */

ol ol,
ul ol {
  list-style-type: lower-roman;
}

/* Blockquote */

blockquote {
  position: relative;
  margin: 5% 10px;
  padding: 0 1.5em;
  border-left: 0.16em solid rgba(199, 199, 199, 0.801);
}

/* Math */

.katex-display {
  padding: 0.6rem 0;
  font-size: 2rem;
  overflow-x: auto;
  border-radius: 4px;
  margin-bottom: 28px;
  text-align: left;
}

.katex--error {
  color: #777;
}

/* Tasks */

.task-list-item {
  list-style-type: none;
}

.task-list-item input {
  font-size: 1rem;
  margin: 0 0 0 -1.6rem;
  vertical-align: middle;
  width: 1.3rem;
}

.task-list-item p {
  margin-bottom: calc(0.5 * var(--line-height));
  --line-height: 1.7em;
}

/* Code */

code {
  background: var(--code-bg);
  border-radius: 2px;
  color: var(--code);
  font-family: "Hasklig", monospace;
  font-size: 0.95rem;
  margin: 0 0.2rem;
  padding: 0.1rem 0.5rem;
  hyphens: none;
}

article > pre {
  background: var(--code-bg);
  font-family: "Hasklig", monospace;
  margin-bottom: var(--line-height);
  padding: calc(0.5 * var(--line-height)) 1.2rem;
  tab-size: 4;
  overflow-x: auto;
  border-radius: 5px;
  --line-height: 1.1em;
}

article > pre code {
  background: none;
  border: none;
  margin: 0;
  padding: 0;
}

.token.comment,
.token.prolog,
.token.doctype,
.token.cdata {
  color: #5c6371;
}

.token.operator,
.token.punctuation {
  color: #50b5c2;
}

.token.selector,
.token.attr-name,
.token.entity,
.token.url {
  color: #abb2c0;
}

.token.tag,
.token.constant,
.token.keyword {
  color: #c775df;
}

.token.function,
.token.attr-value {
  color: #5daef2;
}

.token.number,
.token.boolean,
.token.regex,
.token.string {
  color: #96c374;
}

.token.variable,
.token.property,
.token.key {
  color: #e16a72;
}

/* Button */

button {
  background: transparent;
  box-shadow: none;
  border: none;
  border-radius: 100%;
  transition: .6s ease;
  box-shadow: 0px 0px 0px transparent;
  text-shadow: 0px 0px 0px transparent;
}

button:hover {
  border: none;
  cursor: pointer;
  outline: 0;
  background: hsl(0 0% 50% / 0.15);
  transition: .6s ease;
  box-shadow: 0px 0px 0px transparent;
  text-shadow: 0px 0px 0px transparent;
}

button:active {
  outline: none;
  border: none;
}

button:focus {
  outline: 0;
}

/* Theme changer */

#theme-toggle {
  float: right;
  color: var(--text);
  position: relative;
  top: 20px;
  border-radius: 100%;
  height: 30px;
  width: 30px;
}

.sun {
  display: none;
  width: 20px;
  height: 20px;
}

.moon {
  display: inline;
}

#theme-toggle:hover {
  outline: 0;
  background: hsl(0 0% 50% / 0.15);
}

/* Mobile */

@media only screen and (max-height: 450px) {
  body {
    margin: 2em auto 10vw auto;
  }
  .header-text {
    font-size: 1.75em;
  }
}