Modern browsers all have buttons to toggle user agent preferences in their dev tools. This is a highly technical request and the solution really only needs to be accessible to highly technical users... it's much _much_ more likely that less technical users with strong style preferences will use one of the dozens of pre-configured alternative CSS extensions or just write up their own stylesheet.
I love user customization but this is extremely niche.
I love user customization but this is extremely niche.