* Fixes big gap at the left of the plugins list. * Fixes plugin settings list padding, the yellow overridden dot was cut off on mobile. * Also increased settings filter input size and settings sidebar button margin.
