* {
  user-select: none;
}

.button {
  display: flex;
  position: absolute;
  padding: 2px 4px;
  background-color: rgb(230,230,230);
  border: solid 1px rgb(200,200,200);
  border-radius: 4px;
  cursor: pointer;
  font-size: 15px;
}

.button:hover {
  background-color: rgb(220,220,220);
}

.button.hidden {
  display: none;
}

.demo-code-window {
  position: absolute;
  top: 28.5px;
  left: 0px;
  width: 50%;
  height: calc(100% - 57px);
  border: solid 1px rgb(100,100,100);
  border-radius: 0px;
  overflow: hidden;
}