body {
  font-family: arial;
  padding: none;
}

.emscripten { position: relative; }

#canvas {
  width: 100%;
  height: 90vh;
}

@-webkit-keyframes rotation {
  from {-webkit-transform: rotate(0deg);}
  to {-webkit-transform: rotate(360deg);}
}
@-moz-keyframes rotation {
  from {-moz-transform: rotate(0deg);}
  to {-moz-transform: rotate(360deg);}
}
@-o-keyframes rotation {
  from {-o-transform: rotate(0deg);}
  to {-o-transform: rotate(360deg);}
}
@keyframes rotation {
  from {transform: rotate(0deg);}
  to {transform: rotate(360deg);}
}

input[type=button] {
  background-color: lightgray;
  border: 4px solid greenyellow;
  color: black;
  text-decoration: none;
  cursor: pointer;
  width: 140px;
  height: 50px;
  margin-left: 10px;
  padding: 10px;
  position: relative;
  z-index: 10;
}

input[type=button]:disabled {
  background-color: lightgray;
  border: 4px solid gray;
  color: black;
  cursor: not-allowed;
}

input[type=button]:hover {
  background-color: #f5f5f5ff;
  border-color: black;
}