Micro to Mini SIM card adapter

From the specs, open source.

Here's the code for drawing the SIM.

linear_extrude(height = 0.76)
polygon(points=[
[0,0],[15,0],[15,22],[12,25],[0,25], // Outer Mini SIM
[1.5,3],[13.5,3],[13.5,15],[11,18],[1.5,18] // Inner Micro
],
paths=[[0,1,2,3,4],[5,6,7,8,9]]);