.wout {
  background-color: #E0FFFF;
}
.win {
  background-color: #EFEFFF;
}
ul { font-size: normal; }
.category {
  font-weight: bold;
  font-size: 16pt;
  padding: 1px 5px;
  background-color: yellow;
  margin: 2px 0px;
}