New style for number widgets

Number widgets in dashboards has gotten a facelift:

Number widget

  • Heavier font
  • Currency symbol for select currencies
  • More compact values (k, M, B)
  • Better spacing between metrics