/* CSS is how you can add style to your website, such as colors, fonts, and positioning of your
   HTML content. To learn how to do something, just try searching Google for questions like
   "how to change link color." */

body {
  background-color: #a7bfe5;
  color: #343a44;
  font-family: Courier New;
}
.main{
  margin-left: 15%
}
/*navigation*/
.nav{
  list-style-type: none;
  background-color:#465877;
  margin: 0;
  padding: 0;
  font-size:12px;
  width: 10%;
  height: 95%; /* Full height */
  position: fixed; /* Make it stick, even on scroll */
  overflow: auto; /* Enable scrolling if the sidenav has too much content */
}

/* The navigation menu links */
.nav a {
  padding: 10px 10px 10px 10px;
  text-decoration: none;
  font-size: 14px;
  color: #e1e6ef;
  display: block;
}

/* When you mouse over the navigation links, change their color */
.nav a:hover {
  color: #5675ad;
}

/* below is link hovering */
a:link {
  text-decoration: none;
}

a:visited {
  text-decoration: none;
}

a:hover {
  text-decoration: underline;
}

a:active {
  text-decoration: underline;
}