html {
  height: auto;
  min-height: 100%;
  margin: 0;
}
body {
  display: flex;
  flex-direction: column;
  margin: 0;
  min-height: 100%;
  width: 100%;
  position: absolute;
  font-family: system-ui, Arial, Helvetica, sans-serif;
  user-select: none; /* Standard syntax */
  color: white;
  background: #303030;
}
header {
  margin: 10px;
}
main {
  flex: 1;
  background: #000000;
  position: relative;
}
footer {
  margin: 10px;
}
canvas {
  position: absolute;
  cursor: crosshair;
}
canvas:focus {
  outline: 0px;
}
div {
  display: table-row;
  background-color: blue;
}
.dropdown {
  float: left;
  overflow: hidden;
}
.dropdown .dropbtn {
  font-size: 16px;
  border: none;
  outline: none;
  color: white;
  padding: 12px 12px;
  background-color: #303030;
  font-family: inherit;
  margin: 0;
}
.dropdown:hover .dropbtn {
  background-color: #9a9;
}
.dropdown-content {
  display: none;
  position: absolute;
  background-color: #303030;
  min-width: 160px;
  border-radius: 5px;
  box-shadow: 0px 8px 16px 0px rgba(0, 0, 0, 0.2);
  z-index: 1;
}
.dropdown-content a {
  float: none;
  color: white;
  padding: 12px 16px;
  text-decoration: none;
  display: block;
  text-align: left;
  line-height: 6px;
}
.dropdown-content a:hover {
  background-color: #aba;
}
.dropdown:hover .dropdown-content {
  display: block;
}
.dropdown-item-checked::before {
  position: absolute;
  left: 0.2rem;
  content: "\2022"; /* or '✓' */
  font-weight: 600;
}
.divider {
  border-top: 1px solid grey;
}
.vertical-divider {
  border-left: 1px solid grey;
  height: 40px;
}
.help-text {
  margin: auto;
  max-width: 150px;
  padding: 0 10px;
}
.slidecontainer {
  padding: 10px 10px;
  white-space: normal;
  word-break: break-word;
  display: flex;
  align-items: center;
  flex: 0 0 auto;
}

div.footer { width: 100%; display: block; background: #303030;}
table.footer { width: 100%;height: 100%; table-layout: fixed;}

.github-star {
  display: inline-flex;
  align-items: center;
  background-color: #fff;
  border: 1px solid #d1d5da;
  border-radius: 6px;
  font-size: 14px;
  font-weight: 600;
  color: #24292e;
  text-decoration: none;
}

.github-star .star-button {
  display: flex;
  align-items: center;
  background-color: #ffffff;
  padding: 5px 12px;
  border-radius: 6px 0 0 6px;
}

.github-star .star-button span {
  color: #24292e;
  padding-left: 5px;
}

.github-star #star-count {
  background-color: #eff3f6;
  padding: 5px 12px;
  border-left: 1px solid #d1d5da;
  border-radius: 0 6px 6px 0;
  font-size: 14px;
  font-weight: 600;
  color: #24292e;
}