/* The side navigation menu */
.top_menu {
  margin: 0;
  padding: 2px;
  width: 135px;
  background-color: #996699;
  position: fixed;
  height: 100%;
  overflow: auto;
}

/* top_menu links */
.top_menu a {
  display: block;
  color: white;
  padding: 16px;
  text-decoration: none;
}

/* Active/current link */
.top_menu a.active {
  background-color: #04AA6D;
  color: white;
}

/* Links on mouse-over */
.top_menu a:hover:not(.active) {
  background-color: #555;
  color: white;
}

/* Page content. The value of the margin-left property should match the value of the top_menu's width property */
div.content {
  margin-left: 135px;
  padding: 1px 8px;
  height: 1000px;
  font-size: 18pt;
  margin-bottom: 12px;
}

.top_menu {
   width: 100%;
   height: auto;
   position: relative;
   font-size: 16pt;
   margin-bottom: 24px;
}
.top_menu a {float: left;}
div.content {margin-left: 0;}

.figures {
	font-size: 12pt;
	margin-bottom: 12px;
}

h1 {
	font-family: arial; font-size: 22pt;
}

h2 {
	font-family: arial; font-size: 20pt;
}
	
a {
  color: #0099CC;
}

@media only screen and (min-width: 768px) {
    /* For desktop: */
    .content {
        width:65%;
    }
}