Fix DOM-level vote numbers after ajax vote. Improve client-side JS formatting.