div.split {
  display: inline-block;
  vertical-align: top;
}
div.scroller {
  height: 100%;
  overflow-y: scroll;
}
.hidden {
  display:none !important;
}
.box {
  color: blue;
  text-decoration: underline;
  cursor: pointer;
}
.sel {

}
.boxcategory {
  font-weight: bold;
}
.activebox {
  background-color: yellow;
}
.inline-multi {
  display: inline-block;
}
.sel-label {
  display: flex;
  align-items: center;
  justify-content: flex-start;
}
div.sel-inner {
}
div.multititle {
  display: inline-block;
}
div.randButton {
  font-size: 200%;
  text-decoration:underline;
  cursor:pointer;
}
.winner{
  background-color:green;
  color:white;
}
.error{
  background-color:red;
  color:white;
}
.duration{
  margin-left: auto;
  margin-right: 3px;
  background: lightgray;
}
/* this just prevents double-click-selection */
.no_selection {
    -webkit-user-select: none; /* webkit (safari, chrome) browsers */
    -moz-user-select: none; /* mozilla browsers */
    -khtml-user-select: none; /* webkit (konqueror) browsers */
    -ms-user-select: none; /* IE10+ */
}
.category { font-weight: bold }
.level0 { padding-left: 0 }
.level1 { padding-left: 10px }
.level2 { padding-left: 20px }
.level3 { padding-left: 30px }
.level4 { padding-left: 40px }
.level5 { padding-left: 50px }
.level6 { padding-left: 60px }