* {
  box-sizing: border-box;
}
body {
overflow:auto;
font-family:Helvetica, Arial, sans-serif;
}
var {
  font-family: times;
}
samp{
  font-family: times;
}
iframe {
  width:100%;
  height:100%;
}
table {
  text-align: center;
}
.active, .menuitem:hover, .top-menu:hover {font-weight: bold;}
.top-menu {
  cursor: pointer;
  padding: 0 1em;
}
.menu {
  left: 0;
  float: left;
  cursor: pointer;
  max-width: 220px;
  width: 18vw;
}
.menuitem {
  font-size: 90%;
  text-indent: 2em;
  padding: 4px;
  margin-top: 7px;
  border-bottom: 1px solid #f1f1f1;
  cursor: pointer;
}
.main {
  float: left;
  width: 54vw;
  height: 80vh;
  min-width:500px;
  min-height:460px;
  padding: 0;
  overflow: auto;
}
.info {
  background-color: lightblue;
  width: 25vw;
  margin-left: 1vw;
  margin-top: 0;
  padding: 0px 1vw;
  float: left;
}
.header {
  position:relative;
  background-color:#f1f1f1;
  padding:2.5ex 0 2.5ex 2em;
  width: 100vw;
  min-height: 10vh;
  margin-bottom:1vh;
}
.logo {
  position:absolute;
  right: 2vw;
  top: 0;
  height:100%;
  min-width:120px;
  width:8vw;
  padding:0 10px;
  background-color:#ffffff;
}
.footer {
  position: relative;
  background-color:#f1f1f1;
  text-align:center;
  padding:10px 0;
  margin-top:1vh;
  font-size:75%;
  width: 100vw;
  min-height: 4vh;
}

@media only screen and (max-width:1200px) {
  /* For tablets: */
  .main {
    width: 80%;
    padding: 0;
  }
  .info {
    width: 100%;
  }
}
@media only screen and (max-width:800px) {
  /* For mobile phones: */
  .menu, .main, .right {
    width: 100%;
  }
}