For the curious and/or lazy, the core of the trick is
-webkit-filter: blur(1px);
plus -webkit-transform: scale(0.9);
and requisite wrapping. I'm sure I'm not the only one that just learned the former existed (and is supported!), so I thought I'd point it out.