body {
  padding-bottom: 50px;
}


.topnav {
  font-family: sans-serif; 
  overflow: hidden;
  background-color: #2F4F4F;
  color: white;
}

.topnav a {
  float: left;
  color: #f2f2f2;
  text-align: center;
  padding: 12px 12px;
  text-decoration: none;
/*  font-size: 17px; */
}

.topnav a:hover {
  background-color: #808080;
}

/*
h1,h2 {
  background-color: #B0E0E6; 
  color: black;
  padding-left: 10px;
}
*/

pre,code {
  background-color: #FFEFD5;
  color: black;
  font-familiy: monospace;
}

pre {
  padding-left: 8px;
  padding-right: 8px;
  padding-top: 4px;
  padding-bottom: 4px;
}