/* Deprecated.
   Mobile/header fixes have been consolidated into source-market.css.
   This file stays intentionally lightweight because it is still referenced by the layout. */