/* Page background and font */
body {
  background-color: #f4fafd;
  font-family: "Roboto", system-ui, sans-serif;
  margin: 0;
}

/* Main page content */
body > main > div {
  max-width: 800px;
  margin-left: auto;
  margin-right: auto;
  padding: 20px;
  background-color: white;
  box-shadow: 0px 0px 10px 10px rgba(0, 0, 0, 0.02);
}

body > main {
  padding-left: 330px;
  transition: all ease-in-out 0.3s;
}

/* Color and font for headers */
h1, h2, h3, h4, h5, h6 {
  color: #050d18;
  font-family: "Raleway",  sans-serif;
}

/* Line after header */
main > div > h1:after {
  content: "";
  position: absolute;
  display: block;
  width: 50px;
  height: 3px;
  background: #149ddd;
  margin-top: 15px;
}

/* Space below header for line */
main > div > h1 {
  margin-bottom: 40px
}

p {
  text-align: justify;
}

/* Code blocks */
pre {
  padding: 20px;
  margin: 10px;
  background-color: #040b14;
  color: white;
  border-radius: 10px;
  overflow-x: auto;
}

/* Make the header appear on the side */
header {
  color: white;
  background-color: #040b14;
  position: fixed;
  top: 0;
  left: 0;
  bottom: 0;
  padding: 0 15px;
  width: 300px;
  transition: all ease-in-out 0.3s;
  overflow-y: auto;
  z-index: 997;
}

@media (max-width: 1215px) {
  header {
    left: -100%;
  }
  body > main {
    padding-left: 0;
  }
}

/* The header's title */
header > h1 {
  font-size: 24px;
  margin: 0;
  font-weight: 700;
  color: white;
  padding-top: 60px;
}

img {
  border-radius: 10px;
  max-width: 100%;
}

/* Table of contents */
header > ul {
  list-style: none;
  padding: 0 0 20px 0;
}

header > ul > li {
  margin: 20px 0;
}

/* Elements in the table of contents */
.toc-element {
  color: #a8a9b4;
  font-family: "Poppins", sans-serif;
  font-size: 16px;
  text-decoration: none;
  transition: 0.3s;
}

/* Hovered links in the table of contents */
.toc-element:hover {
  color: white;
  transition: 0.3s;
  padding-left: 15px;
}

.back-to-index {
  position: absolute;
  bottom: 40px;
}

.header-toggle {
  background-color: #149ddd;
  font-size: 22px;
  display: flex;
  align-items: center;
  justify-content: center;
  width: 40px;
  height: 40px;
  border-radius: 50%;
  cursor: pointer;
  position: fixed;
  top: 15px;
  right: 15px;
  z-index: 9999;
  transition: background-color 0.3s;
}

.header-toggle:hover {
  background-color: color-mix(in srgb, #149ddd 90%, white 15%);
}

@media (min-width: 1215px) {
  .header-toggle {
    display: none;
  }
}