/* Public stylesheet referenced by index.html.
   Main styling is currently defined in index.html and component classes. */