:root {
      --badge-bg-color: #f1f2f4;;
      --badge-legend-color: #638ca2;;
      --badge-legend-hover-color: #375867;;
      --dgnsi-theme-color: #404040;
      --dgnsi-top-footer-bg: #faf9f7;
      --footer-links-color: {$page.css.footer-links-color};
      --footer-lower-bg-color: {$page.css.footer-lower-bg-color};
      --footer-top-bg-color: {$page.css.footer-top-bg-color};
      --print-bg-color: {$page.css.print-bg-color};
      --print-primary-color: {$page.css.print-primary-color};
    }