gittip/www.gittip.com — pull request #2676 by oakes (2014-08-24 18:27:32+00:00)
Title: Fix the decimal symbol in various places

This fixes how the numeric value in the tip input box is displayed, as well as a few places where the numbers are updated via JavaScript.