msglist.js: align message numbers to the right