/*
 * =============================================================================
 * header.css is the stylesheet applied to the elements contained in the default
 * Viewer header.html.
 * =============================================================================
 */