// These CSS properties are used by all sites.