body {
  /* Here we prevent mobile touch-drag from attempting to scroll or select things. */
  /* This is sacrificing potential usability/accessibility features but it's for the sake of art. */
  overflow: hidden;
  user-select: none;
  -webkit-user-select: none;
}
.fullscreen {
  position: absolute;
  top: 0;
  left: 0;
}
.background {
  z-index: -1;
}
.foreground {
  z-index: 1;
  pointer-events: none;
}
.main-div {
  position: absolute;
  top: 0;
  left: 0;
  z-index: 0;  
}
.main-div * {
  font-family: sans-serif;
  font-size: 11pt;
  line-height: 13pt;
}
.main-div.dragging .droptarget {
  background-color: rgba(0, 0, 200, 0.2);
}
.elements {
  flex-direction: column;
}
.element {
  background-color: #eee;
  display: flex;
  flex-direction: column;
}
.element .summary, .element .detail {
  display: flex;
}
.element .summary {
  font-weight: bold;
}
.main-div .monospace .detail {
  font-family: monospace;
}
.element.moving {
  /* border: 1px rgba(0, 128, 0, 0.7) dashed; */
  background-color: rgb(150, 100, 150);
  opacity: 0.3;
}
.element.moving.placeholder {
  background-color: rgb(100, 200, 100);
  opacity: 0.7;
}