.red {
  color: red;
  font-weight: bold;
}
.stkressauswahl {
  margin-bottom: 30px;
}
.label-default.disabled {
  background-color: white;
  color: grey;
  text-decoration: line-through;
}
.dwpincontainer {
  margin: 30px;
}
.dwpincontainer .pinbutton {
  margin-top: 20px;
}