body {

}


.head{
  margin-left: auto;
  margin-right: auto;
  padding: 7px;
  padding-bottom: 0px;
  width: 70%; 
  font-family:Arial, sans-serif;
  font-weight: 0;
  position: relative;
  top: -140px;
  background-color: white;
  text-align: center;
  letter-spacing: 0px;
}

.visual {
  top-border: 4px solid ;
  padding-top: 1.5em;
  display: block;
  margin-left: auto;
  margin-right: auto;
  width: 65%;
  text-align: center;
  font-style: italic;
  font-size: smaller;
  text-indent: 0;
}

.footer {
  border-top: 3px solid rgb(201, 210, 170);
  display: block;
  margin-left: auto;
  margin-right: auto;
  width: 60%;
  color: rgb(174, 172, 150);
  font-style: italic;
  text-indent: 0;
}

.smallvisual{
  border: 4px solid rgb(201, 210, 170);
  display: block;
  margin-left: auto;
  margin-right: auto;
  width: 100%;
}

.largevisual {
  border: 4px solid rgb(201, 210, 170);
  display: block;
  margin-left: auto;
  margin-right: auto;
  width: 100%;
font-style: italic;
  font-size: smaller;
  font-family:Arial, sans-serif;
  text-indent: 0;

}

.center {
  display: block;
  margin-left: auto;
  margin-right: auto;
  width: 60%;
}

.menu  { 
  margin-left: auto;
  margin-right: auto;
  padding: 7px;
  padding-top: 0px;
  width: 60%; 
  font-family:Arial, sans-serif;
  position: relative;
  top: -170px;
  background-color: white;
  border-top: 8px solid rgb(201, 210, 170);
}

.logo  {
	width: 12%; 
}

div.figure {
  float: right;
  width: 30%;
  text-align: center;
  font-style: italic;
  font-size: smaller;
  font-family:Arial, sans-serif;
  text-indent: 0;
  margin: 0.5em;
  sidepadding: 0.5em;
}
a:link {
  color: rgb(32,67,143);
  text-decoration-color: rgb(201, 210, 170);
}

/* visited link */
a:visited {
  color: rgb(32,67,143);
  text-decoration-color: rgb(32,67,143);
}

/* mouse over link */
a:hover {
	text-decoration: none;
  border: none;
}

.sidenav {
  width: 17%;
  position: fixed;
  z-index: 1;
  top: 300px;
  left: 10px;
  background: rgb(201, 210, 170);
  overflow-x: hidden;
  padding: 5px 0;
}

.sidenav a {
  padding: 6px 8px 6px 8px;
  text-decoration: none;
  font-size: 20px;
  font-family:Arial, sans-serif;
  display: block;
}

.dropdown-btn {
  padding: 6px 8px 6px 8px;
  width: 100%;
  text-align: left;
  text-decoration: none;
  color: rgb(32,67,143);
  font-size: 20px;
  background: none;
  font-family:Arial, sans-serif;
  border: none;
}

.sidenav a:hover, .dropdown-btn:hover {
  
}

.dropdown-btn:focus{
  outline:0;
}

.main {
  margin-left: 140px; /* Same width as the sidebar + left position in px */
  font-size: 28px; /* Increased text to enable scrolling */
  padding: 0px 10px;
}

/* Add an active class to the active dropdown button */
.active {
border: none;
}

.dropdown-container {
  display: none;
  background-color: rgb(234, 242, 203);
  color: #064579;
  padding-left: 16px;
}

.fa-caret-down {
  float: right;
  padding-left: 16px;
  color: rgb(32,67,143);
}

@media screen and (max-height: 450px) {
  .sidenav {padding-top: 15px;}
  .sidenav a {font-size: 18px;}
}

    .tex sub, .latex sub, .latex sup {
      text-transform: uppercase;
    }

    .tex sub, .latex sub {
      vertical-align: -0.5ex;
      margin-left: -0.1667em;
      margin-right: -0.125em;
    }

    .tex, .latex, .tex sub, .latex sub {
      font-size: 1em;
    }

    .latex sup {
      font-size: 0.85em;
      vertical-align: 0.15em;
      margin-left: -0.36em;
      margin-right: -0.15em;
    }