Patch for bug 235061: move CSS stylings in global.css if they are used across multiple pages; patch by Marc Schumann <marcschum@web.de>; r=kiko, a=myk.