realtimeroboticsgroup.org / RealtimeRoboticsGroup / aos / 30cc40a08b2abc1ceddfb85d05dba92d71e56def / third_party / pycrc / doc / style-man.xsl