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.