* {
  box-sizing: border-box;
}

body {
  height: 100%;
  width: 100%;
  margin: $header-height 0 0;
  font-family: $roboto;
  font-size: 14px;
}

#header {
  position: fixed;
  top: 0;
  width: 100%;
  z-index: 1;
  height: $header-height;
  line-height: 24px;
  background: #f2f2f2;
  box-shadow: 0 -4px 3px 4px rgba(darken($header-color, 30%), 0.8);
  color: $blue;
}

.menu {
  position: relative;
  float: right;
  height: 36px;
  padding-left: 8px;

  .hamburger {
    width: 36px;
    background: url('/images/menu.png') no-repeat center;
  }
  .menu-list {
    display: none;
    position: absolute;
    top: 100%;
    right: 0;
    margin: 0;
    padding: 0;
    border: solid 1px $blue;
    background-color: white;
    box-shadow: 0 4px 3px 0px rgba(darken($blue, 30%), 0.8);

    li {
      display: block;
      cursor: pointer;
      white-space: nowrap;
      padding: 5px 15px 5px 10px;
    }
  }
}