[#60826864] tabs look better now
Merge branch 'cop-p2-2013' of https://github.com/vuwfg/knots into cop-p2-2013