/* mm-to-inch tool styles */