body {
    font-family: Verdana, Helvetica, sans-serif; 
    margin-top: 10px; 
    margin-right: 20px; 
    margin-bottom: 10px; 
    margin-left: 20px
}
p {
    text-align: justify
}
div[class="dedication"] {
    font-size: larger; 
    color: navy
}
div[class="news"] {
    font-size: larger; 
    color: red
}
div[class="lastmodified"] {
    font-size: smaller
}
span[class="alert"] {
    font-size: larger; 
    color: red
}

/* The side navigation menu */
.sidebar {
  margin: 0;
  padding: 0;
  width: 200px;
  background-color: #f1f1f1;
  position: fixed;
  height: 100%;
  overflow: auto;
}
/* Sidebar links */
.sidebar a {
  display: block;
  color: black;
  padding: 8px;
  text-decoration: none;
}
/* Links on mouse-over */
.sidebar a:hover:not(.active) {
  background-color: #555;
  color: white;
}
/* Page content. The value of the margin-left property should match the value of the sidebar's width property */
div.content {
  margin-left: 200px;
  padding: 0px 8px;
  height: 1000px;
}
/* On screens that are less than 700px wide, make the sidebar into a topbar */
@media screen and (max-width: 700px) {
  .sidebar {
    width: 100%;
    height: auto;
    position: relative;
  }
  .sidebar a {float: left;}
  div.content {margin-left: 0;}
}
/* On screens that are less than 400px, display the bar vertically, instead of horizontally */
@media screen and (max-width: 400px) {
  .sidebar a {
    text-align: center;
    float: none;
  }
}