Add resolution slider to dashboard.

slider exists both globally, and can also be set for individual graphs.
the `12` was pretty arbitrary, it just seemed to give decent values when moving between various column numbers and viewport widths.