Default browser font does not work well for dynamic filtering panel #943
Description
At least for Linux/Firefox -- the default browser font is too wide.
Just like uMatrix, consider shipping with the optimal font to be used for the dynamic filtering panel.