body {
  background-color: #000;
  color: #5f5;
  font-family: monospace;
  font-size: 10pt;
  overflow: hidden;
  user-select: none;
  -webkit-user-select: none;
}

h1, h2, h3, h4, h5, h6 {
  margin-block-start: 4pt;
  margin-block-end: 4pt;
  text-align: center;
  font-size: 12pt;
  font-weight: normal;
}

h1 {
  font-size: 16pt;
}

div[id=simulator] {
  position: absolute;
  top: 0;
  left: 0;
  width: 100%;
}

div.lhg-toolbar {
  position: fixed;
  z-index: 2;
  width: fit-content;
  border-radius: 0.5EM;
}

div.lhg-toolbar div.lhg-tool {
  position: relative;
  top: 0;
  left: 0;
  width: 12EM;
  padding: 0.5EM;
  margin: 0.5EM;
  border-radius: 0.5EM;
  border-width: 1px;
  border-style: solid;
  border-color: #282;
}

div.lhg-tool button {
  font-family: monospace;
  font-size: 10pt;
  width: 6em;
  background-color: #333;
  color: #5f5;
  border-radius: 0.5EM;
  border-color: #000;
  border-width: 4px;
  border-style: solid;
  padding-top: 0.5EM;
  padding-bottom: 0.5EM;
  padding-left: 0EM;
  padding-right: 0EM;
  text-align: center;
  margin-left: 0;
  margin-right: 0;
}

div.lhg-tool button:hover {
  background-color: #444;
}

div.lhg-tool button:active {
  background-color: #252;
}

div.lhg-toolbar-header:hover button {
  background-color: #444;
}
div.lhg-toolbar-header:active button {
  background-color: #252;
}

div.lhg-tool button.lhg-tool-info {
  background-color: #111;
  border-color: #282;
  border-width: 0px;
}

div.lhg-tool button.lhg-wide {
  width: 12em;
}

div.lhg-tool > div {
  /* border: 2px red solid; */
}