factor out printing of individual protocols into separate functions
stylesheet updated