ID Badge Gripper

This is an openscad file to generate a little gripper for ID badge cards. It's meant to be printed in multiple materials that fit together. The shell should be something hard like PETG, and the insert should be something flexible, but firm, like TPE or TPU.
The latest source is also available at https://github.com/jflinchbaugh/objects/tree/master/badge_gripper .