table#tablelegend {
  margin-top: 15px;
}
td.solved{
  background-color:#99FF99;
}
td.solvedfirst{
  background-color:#008800;
  font-weight: bold;
  color: white;
}
td.attempted{
  background-color:#FF9999;
}
td.pending{
  background-color:#9999FF;
}
td.group_leader { background-color: #FFFFAA; }

tr.highlight {
	background-color: #EEEEFF;
	font-weight: bold;
}