* {
  max-width: 1000px;
  margin-left: auto;
  margin-right: auto;
  background-color: #000000 !important;
  color: white;
  /* font-family: monospace; */
  font-size: 20px;
}


/* Links */
/* unvisited link */
a:link {
  color: #2fb6ae;
}

/* visited link */
a:visited {
  color: #1454d4;
}

/* mouse over link */
a:hover {
  color: hotpink;
}

/* selected link */
a:active {
  color: blue;
}


code,
pre {
  background-color: #101d16 !important;
  color: #6ec294;
  font-size: 16px;
  padding: 10px;
}

pre {
  /* padding: 30px; */
  border-radius: 8px;
  /* padding: 16px 0; */
}

/* Navigation bar */

/* Add a black background color to the top navigation */
.topnav {
  /* background-color:  !important; */
  overflow: hidden;
  font-family: moospace;
}

/* Style the links inside the navigation bar */
.topnav a {
  float: left;
  color: #f2f2f2;
  text-align: center;
  padding: 14px 16px;
  /* text-decoration: lemonchiffon; */
  /* font-size: 17px; */
  /* background-color: #333 !important; */
}

/* Change the color of links on hover */
.topnav a:hover {
  background-color: #ddd;
  color: #c97237;
}