/* global: additions on top of the designer stylesheets. */