How to get the computed width of an element's border?

How can I get the 开发者_运维百科computed border width of a HTML element in Javascript? (Independent of where and how the border is specified.)

You want something like window.getComputedStyle(), but that's not a 100% cross-browser function - you'll have to work a little harder for that.