@import url("https://fonts.googleapis.com/css?family=Lato:300,400");
* {
  box-sizing: border-box;
}
body {
  margin: 0;
  font-family: Lato;
  font-weight: 300;
  color: black;
}
body > canvas {
  width: 100%;
  height: 100%;
}
.menu {
  position: fixed;
  z-index: 1;
  left: 0;
  top: 0;
  bottom: 0;
  width: 260px;
  padding: 15px;
  background: rgba(250,250,250,0.65);
  border-right: 1px solid rgba(255,255,255,0.5);
  border-radius: 1px;
  box-shadow: 0 10px 10px rgba(0,0,0,0.5);
  overflow-y: auto;
}
.menu h1 {
  font-size: 24px;
  font-weight: 400;
  margin-top: 0;
}
.menu .description {
  font-size: 15px;
}
.menu .hint {
  font-size: 11px;
  opacity: 0.8;
}
.menu a {
  color: black;
  cursor: pointer;
}
.menu .functions .function .name {
  font-size: 12px;
  font-weight: 400;
  cursor: default;
}
.menu .functions .function .graph-area {
  padding: 0 20px;
}
.menu .functions .function .graph-area .graph {
  background: rgba(250,250,250,0.1);
  width: 100%;
  height: 50px;
  cursor: pointer;
}