philc/vimium — pull request #522 by Knorkebrot (2012-04-27 14:13:11+00:00)
Title: use box-shadow instead of border for flashElement

Using border can harm the layout of a website since the element gets bigger.