@import url('https://fonts.googleapis.com/css2?family=JetBrains+Mono:ital,wght@0,100..800;1,100..800&display=swap');
body {
 font-family: "JetBrains Mono", monospace;
 background-color: #1e1e2e;
 color: #cdd6f4;
 text-align: center;
 font-size: 27px;
}

/* Add a black background color to the top navigation */
.topnav {
    background-color: #6c7086 ;
    overflow: hidden;
  }
  
  /* Style the links inside the navigation bar */
  .topnav a {
    float: left;
    color: #f2f2f2;
    text-align: center;
    padding: 14px 16px;
    text-decoration: none;
    font-size: 17px;
  }
  
  /* Change the color of links on hover */
  .topnav a:hover {
    background-color: #585b70;
    color: black;
  }