/* Gegenereerd uit tools/tokens.py. Niet met de hand bewerken. */

:root {
  --pv-achter: #E6E6E6;
  --pv-blad: #FFFFFF;
  --pv-inkt: #333333;
  --pv-titel: #000000;
  --pv-menu: #6A6A6A;
  --pv-lijn: #BBBBBB;
  --pv-voetlijn: #EDEDED;
  --pv-link: #0066CC;
  --color-page: var(--pv-achter);
  --color-sheet: var(--pv-blad);
  --color-text: var(--pv-inkt);
  --color-heading: var(--pv-titel);
  --color-menu: var(--pv-menu);
  --color-rule: var(--pv-lijn);
  --color-rule-soft: var(--pv-voetlijn);
  --color-link: var(--pv-link);
  --color-focus: var(--pv-link);
}