:root {
  --bg-color: #282c34;
  --bg-light-color: #31353f;
  --text-color: #f9d9c1;
  --title-color: #d15a6c;
  --link-color: #a69677;
  --spacer-big: 0.6000000rem;
  --spacer-small: 0.3000000rem;
  --font-bigger: 1.2rem;
  --font-big: 1.1rem;
  --font-medium: 1rem;
}

@font-face {
    font-family: 'monaspace';
    src:  url('monaspaceneon-regular.woff2') format('woff2'),
          url('monaspaceneon-regular.woff') format('woff');
}

/* Box sizing rules */
*,
*::before,
*::after {
  box-sizing: border-box;
}

/* Prevent font size inflation */
html {
  -moz-text-size-adjust: none;
  -webkit-text-size-adjust: none;
  text-size-adjust: none;
}

/* Remove default margin in favour of better control in authored CSS */
body, h1, h2, h3, h4, p,
figure, blockquote, dl, dd {
  margin-block-end: 0;
}

/* Remove list styles on ul, ol elements with a list role, which suggests default styling will be removed */
ul[role='list'],
ol[role='list'] {
  list-style: none;
}

/* Balance text wrapping on headings */
h1, h2,
h3, h4 {
  text-wrap: balance;
}

/* A elements that don't have a class get default styles */
a:not([class]) {
  text-decoration-skip-ink: auto;
  color: currentColor;
}

/* Make images easier to work with */
img,
picture {
  max-width: 100%;
  display: block;
}

/* Inherit fonts for inputs and buttons */
input, button,
textarea, select {
  font-family: inherit;
  font-size: inherit;
}

/* Make sure textareas without a rows attribute are not tiny */
textarea:not([rows]) {
  min-height: 10em;
}

/* Anything that has been anchored to should have extra scroll margin */
:target {
  scroll-margin-block: 5ex;
}

article > * + * {
  margin-top: 1rem;
}

/* styling */

body {
  padding: 1rem;
  font-size: var(--font-medium);
  line-height: 1.4;
  background-color: var(--bg-color);
  color: var(--text-color);
  font-family: 'monaspace', monospace;
  max-width: 800px;
  margin: auto;
}

p.date {
  font-size: 1rem;
  font-style: italic;
  text-align: right;
  color: var(--link-color);
}

p.footer {
  font-size: 0.8rem;
  text-align: center;
  color: var(--link-color);
}

hr {
  background: var(--link-color);
  width: 100%;
  padding: 0;
  border: 0;
  height: 2px;
  margin-top: var(--spacer-big);
  margin-bottom: var(--spacer-big);
}

h1 {
  color: var(--title-color);
  font-size: var(--font-bigger);
  margin-bottom: var(--spacer-small);
}

h1.section {
  text-align: center;
}

h2, h3, h4, summary {
  color: var(--title-color);
  font-size: var(--font-big);
  margin-bottom: var(--spacer-small);
}

a.menu:link, a.menu:visited {
  color: var(--text-color);
  text-decoration: none;
  padding: var(--spacer-small);
}

a.menu:hover {
  background-color: var(--bg-color);
  color: var(--link-color);
  border-style: none none dotted none;
}

a {
  color: var(--text-color);
}  

a:visited {
  color: var(--link-color);
}

a:hover {
  background-color: var(--link-color);
  color: var(--bg-color);
  text-decoration: none;
}

pre {
  padding: 1rem;
  background-color: var(--link-color);
  color: var(--bg-color);
  border-radius: 0.4rem;
  max-height: 30rem;
  overflow: auto;
  white-space: pre-wrap;
}

code {
  background-color: var(--link-color);
  color: var(--bg-color);
  border-radius: 0.4rem;
  font-size: 1rem;
  padding: 0.1rem;
}

blockquote {
  font-size: 1rem;
  font-style: italic;
  padding-left: 1rem;
  border-left: 2px solid var(--link-color);
}

ul {
  list-style-type: "- ";
}

p.navbar {
  text-align: center;
}

p.tags-data {
  font-style: italic;
  text-align: right;
}

p.mini-tags {
  font-style: italic;
  font-size: 0.85rem;
}

table {
  border-collapse: collapse;
}

th, td {
  text-align: left;
  border: 1px solid var(--link-color);
  width: 100%;
  padding: var(--spacer-small);
}

details summary {
}

details {
  background-color: var(--bg-light-color);
  padding-left:  var(--spacer-big);
  border-radius: 5px;
  max-height: 30rem;
  overflow: auto;
}