DefaultMono troch ulys

This is a simple add-on that replace any monospace fonts on websites by the default one. It's useful if, like me, you have a cool mono font that you like and want to use everywhere.