* {
  font-family: "JetBrains Mono", monospace;
}

html {
  background-color: #181624;
}

body {
  width: 80%;
  max-width: 900px;
  margin: auto;
  color: lightgray;
}

header > nav > ul {
  padding: 0;
}
header > nav > ul > li {
  display: inline;
  margin: 15px;
}

footer > ul {
  list-style: none;
  text-align: center;
  font-size: 10pt;
  padding: 0;
}

p, main li {
  text-align: justify;
}

main li {
  margin-bottom: 8px;
}

a {
  color: white;
  font-weight: bold;
  text-decoration: none;
}
a:hover {
  text-decoration: underline;
}

code {
  padding: 3px 6px;
  color: limegreen;
  background-color: black;
  border-radius: 6px;
}
pre > code {
  display: block;
  padding: 10px;
  overflow-x: auto;
}

blockquote {
  margin-left: 5px;
  padding-left: 15px;
  border-left: solid 1px;
}

table {
  border-collapse: collapse;
}
thead {
  border-bottom: solid 1px;
}
th, td {
  padding: 8px;
}

img {
  max-width: 100%;
}

*:target {
  background-color: #5483;
}