| | |
| | | --highlight: ${theme.colors.lightMode.highlight}; |
| | | --textHighlight: ${theme.colors.lightMode.textHighlight}; |
| | | |
| | | --headerFont: "${theme.typography.header}", ${DEFAULT_SANS_SERIF}; |
| | | --bodyFont: "${theme.typography.body}", ${DEFAULT_SANS_SERIF}; |
| | | --codeFont: "${theme.typography.code}", ${DEFAULT_MONO}; |
| | | --headerFont: "${getFontSpecificationName(theme.typography.header)}", ${DEFAULT_SANS_SERIF}; |
| | | --bodyFont: "${getFontSpecificationName(theme.typography.body)}", ${DEFAULT_SANS_SERIF}; |
| | | --codeFont: "${getFontSpecificationName(theme.typography.code)}", ${DEFAULT_MONO}; |
| | | } |
| | | |
| | | :root[saved-theme="dark"] { |