Fixed in mainline, r6916. Bug descriptions and comments now use your preferred monospace font size, as set in your browser preferences.
Fixed in mainline, r6916. Bug descriptions and comments now use your preferred monospace font size, as set in your browser preferences.