
#canvas {
  position: absolute;
  top:  0px;
  left: 0px;
}

#menu {
  position: absolute;
  top:  10px;
  left: 10px;
  padding: 10px;
  background-color: rgb(50, 50, 50);
  color: rgb(120, 255, 255);
}

#hlp {
  position: absolute;
  top:   10px;
  right: 10px;
  width:  700px;
  height: 400px;
  padding: 10px;
  background-color: rgb(50, 50, 50);
  color: rgb(250, 250, 250);
  font-family: monospace;
  white-space: pre;
  overflow: auto;
}

#func {
  background-color: rgb(100, 100, 100);
  color: rgb(250, 250, 250);
}

.hidden {
  display: none;
}

.link {
  color: rgb(90, 200, 200);
  text-decoration: underline;
  cursor: pointer;
}

a:link    { color: rgb(90, 200, 200); }
a:visited { color: rgb(90, 200, 200); }
