Is this a real size dot? The code matches the same style of shorts online. I haven’t been able to find a dot in this style online. Anyone familiar?