table {
  border-collapse: collapse;
  font-size: normal;
}

td {
  padding-left: 6px;
  padding-right: 6px;
  padding-top: 3px;
  padding-bottom: 3px;
}

input {
  width: 12ch;
  font-size: smaller;
}

select {
  width: 18ch;
  font-size: smaller;
}

#pre-title {
  font-size: xxx-large;
  font-weight: bold;
  font-style: italic;
  padding-bottom: 10px;
}

#pre-sub-title {
  font-size: normal;
  font-weight: bold;
  font-style: italic;
}

#pre-hint {
  font-size: normal;
  font-style: italic;
}

#logtext {
  border: 1px solid black;
  resize: vertical;
  background-color: #FAFAD2
}

#logtitle {
  font-weight: bold;
}

.main-container {
  display: flex;
  flex-direction: column;
}

.pre-container {
  display: flex;
  margin: 5px;  
}

.params-and-slider-container {
  display: flex;
  flex-direction: row;
  flex-wrap: wrap;
}

.params-table-container {
  margin: 5px;  
  flex-shrink: 0;
}

.params-table {
  background-color: #dfdfdf
}

.slider-container {
  margin: 5px;  
  flex-grow: 1;
}

.log-container {
  display: flex;
  margin: 5px;  
  flex-direction: column;
  align-items: stretch;
}

.hint-text {
  font-style: italic;
  font-weight: bold;
  font-size: larger;
  padding-top: 3px;
  padding-bottom: 3px;
}

.input-column {
  min-width: 16ch;
}

.set-button {
  padding: 2px 7px;
  font-size: smaller;
}

.groupFirst {
  border-top: 2px solid black;
  border-left: 2px solid black;
  border-right: 2px solid black;
}

.groupFirst-td {
  padding-top: 4px;
  padding-bottom: 2px;
}

.groupInner {
  border-left: 2px solid black;
  border-right: 2px solid black;
}

.groupInner-td {
  padding-top: 2px;
  padding-bottom: 2px;
}

.groupLast {
  border-left: 2px solid black;
  border-right: 2px solid black;
  border-bottom: 2px solid black;
}

.groupLast-td {
  padding-top: 2px;
  padding-bottom: 4px;
}

.groupSingle {
  border-top: 2px solid black;
  border-left: 2px solid black;
  border-right: 2px solid black;
  border-bottom: 2px solid black;
}

.groupSingle-td {
  padding-top: 2px;
  padding-bottom: 4px;
}

.tooltip {
  font-size: smaller;
  position: relative;
  display: inline-block;
  border-bottom: 1px dotted black;
}

.tooltip .tooltiptext {
  position: absolute;
  visibility: hidden;
  width: max-content;
  max-width: 300px;
  data-html: true;
  background-color: black;
  color: white;
  text-align: left;
  border-radius: 6px;
  padding: 5px 5px;
  z-index: 1;
  top: 120%;
  left: 30px;
}

.tooltip:hover .tooltiptext {
  visibility: visible;
}