GNOME Bugzilla – Bug 568939
news.gnome.org top link list is bigger size than the other pages
Last modified: 2011-06-09 14:26:58 UTC
It seems the top link list in the header on news.gnome.org is bigger than other the other sites linked to in that strip, such as art.gnome.org, gnome.org/support, projects.gnome.org, www.gnome.org etc.
Created attachment 127140 [details] comparision of different site headers
there is a tag called <ul id="general"> on the other sites, that seems to be missing on news.gnome.org, where the font-size is set to 70%
All of these pages have now been migrated to the new look and feel (so we don't have this header any more). Closing as Fixed.