/* Reserved for PC workbench design tokens and extracted styles.
   The current workbench keeps its production styles inline in index.html.
   Keeping this file present prevents stale stylesheet requests from 404ing. */