body {
  /*background: rgb(142, 164, 173);*/
  background: rgb(255, 255, 255);
  margin: 0%;
  padding: 0%;
}
h1 {
  font-family: 'Times New Roman', Times, serif;
  align-content: center;
  text-align: center;
  margin: 16px;
  font-size: 40px;

}

/* Styling for the navigation bar on top of the page */
.topnav {
  /*background-color: rgb(110, 186, 216);*/
  background: rgb(119, 150, 236);
  opacity:0.9;
  overflow: hidden;
  align-content: center;
  margin: 0 auto;
}
/* do not allow floating elements to the left or right of the element*/
.topnav.clear{
  clear: both;
}

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

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

/* Add a color to the active/current link */
.topnav a.active {
  /*#4CAF50*/
  /*background-color: rgb(86, 165, 240);*/
  background: rgb(57, 104, 235);
  color: white;
}

/* Styling for the footer on the main page */
.MainFooter{
  align-content: center;
  text-align: center;
  margin: 20px;
  font-size: 10px;
  font-family: 'Courier New', Courier, monospace;
}

.PostText {
  font-family: 'Arial, Helvetica, sans-serif';
  width: 80%;
  align-content: left;
  margin: 20px;
}
.PostText p{
  width: 80%;
  margin: 20px;
}
.PostText .h2{
  width: 80%;
  font-family: 'Times New Roman', Times, serif;
  margin: 20px;
  font-size: 25px;
}
.PostText .endOfSection{
  margin-left: 50%;
  font-size: 15px;
  font-family: 'Courier New', Courier, monospace;
}

.codeHighlighting {
  padding:4px 6px 4px 100px; 
  color: #0c0404; 
  background-color: rgb(211, 220, 241); 
  border: rgb(139, 146, 161) 0px 
  solid}

  .imgHighlighting {
    margin-left: 30%;
    padding:10px 50px 10px 50px; 
    color: #0c0404; 
    background-color: rgb(211, 220, 241); 
    border: rgb(139, 146, 161) 1px 
    solid}