// key specifications
margin = 1;
padding = 1;
key_thickness = 2;  // + label
key_radius = 1;
key_width = 9;
key_height = 6;
mat_thickness = 0.5;