.header {
  display: inline-block;
  padding-bottom: 12px;
  width: 100%;
}

.header_option {
  float: left;
  color: black;
  text-align: center;
  padding: 6px;
  text-decoration: none;
  font-size: 18px;
  line-height: 25px;
  border-radius: 4px;
  cursor: pointer;
}

.header .logo {
  font-size: 1.8em;
}

.header_option:hover {
  background-color: #ddd;
  color: black;
}

.header-right {
  float: right;
}


/* Dropdown menu.
*/

.dropdown-button {
  color: white;
  cursor: pointer;
}

.dropdown {
  float: right;
  position: relative;
  display: inline-block;
  margin-right: 0.5em;
}

.dropdown-content {
  display: none;
  position: absolute;
  right: 0;
  background-color: #f9f9f9;
  min-width: 160px;
  box-shadow: 0px 8px 16px 0px rgba(0,0,0,0.2);
  z-index: 1;
}

.dropdown-content a {
  color: black;
  padding: 12px 16px;
  text-decoration: none;
  display: block;
}

.dropdown-content a:hover {background-color: #f1f1f1;}
.dropdown:hover .dropdown-content {display: block;}
.dropdown:hover .dropdown-button {
/*background-color: #3e8e41;*/
}

a.logo.short {
  display: none;
}

@media only screen and (max-width: 800px) {
  .header a.logo {
    display: none;
    font-size: 1.0em;
  }
  .header a.logo.short {
    display: block;
  }

}