body {
  background-color: #Eaf0f6;
  /*background-color: #D7ECF3;*/
  /* color to support Steve's stuff */
  /*background-color: #2f498a;*/
  /*background-image: linear-gradient(#262f46, #2f498a);*/
  font-family: sans-serif;
  /*color: #425c6f;*/
}

/* ----- TOP NAVIGATION BAR ---------- */
/* Add a black background color to the top navigation */
.topnav {
  height: 40px;
  background-color: black;
  overflow: hidden;
  padding-bottom: 10px;
}

/* 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: #ddd;
  color: black;
}

/* Change the color on nav bar for active page link */
.topnav a.current {
  background-color: dimgrey;
  color: #f2f2f2;
}

/* Style the links inside the navigation bar */
.topnav p {
  float: left;
  color: #f2f2f2;
  text-align: center;
  padding: 14px 16px;
  text-decoration: none;
  font-size: 17px;
}

/* Change the color on nav bar for active page link */
.top_nav_current {
  /*background-color: dimgrey;*/
  /*color: red;*/
}