https://gcc.gnu.org/bugzilla/show_bug.cgi?id=50642
--- Comment #18 from Jon Grant <jg at jguk dot org> --- Just looking at this page: https://gcc.gnu.org/onlinedocs/gcc/Enumerator-Attributes.html#Enumerator-Attributes The "deprecated" word appears to be smaller (like 9pt, compared to 11pt regular I estimate). I', using a default Firefox install and profile. Latest version of Ubuntu. I'll attach a screenshot