Bigger synthesis results
Bigger synthesis results

From first pilot participant: They were initially hard to find/realize they were clickable in the code tools box
ravichugh/sketch-n-sketch,ravichugh/sketch-n-sketch,ravichugh/sketch-n-sketch,ravichugh/sketch-n-sketch,ravichugh/sketch-n-sketch,ravichugh/sketch-n-sketch