@font-face {
  font-family: "Font"; 
  src: url("NotoSansMono-Regular.ttf") format("truetype");
}
#level {
 white-space:pre-wrap; 
 font-size: 3vh;
 border: 2px solid black;
 padding: 5vh;
 float:clear;
}

#ui {
   width:  fit-content;
 text-align: left;
 margin:  auto;
}

#undo {
  float:left;
}

#reset {
  float:right;
}

#select {
  width:50%;
  margin: auto;
  padding: 2vh;
}

#leveldesc {
  width: 40em;
  margin:auto;
}

.complete {
  opacity: 25%;
}

[data-tile].occluded + .player {
  color: white;
  background: black;
}

[data-tile='.'].occluded + .player, [data-tile=','].occluded + .player {
  color: black;
  background: black;
}

button {
  font-family: "Font", monospace;
  color gray; 
  border: 1px solid black;
}

#next {
  margin-bottom: 1em;
}

body { 
  font-family: "Font", monospace; 
  margin: auto; 
  width: fit-content;
  text-align: center;
}

#edit, #editmoves  {
  width:fit-content;
  margin:auto ;
}

#editbuts {
  display: block; margin: auto;
  height:100%;
  padding-bottom:.5vh;
}

#rawmvs {
float:clear;
height:1.25em;
}
#movesbut {
  float:right;
}