use smaller font in workspace list #132
Description
the font looks a bit too large - if this is trivial change can we reduce it?
Perhaps 0-4px larger than the header font?
{{ message }}
the font looks a bit too large - if this is trivial change can we reduce it?
Perhaps 0-4px larger than the header font?