HTML defaults variables

variables applied to defaults HTML elements

$html-font-family

Type: string

Default value: $theme-font-family

Computed value: Droid Sans, sans-serif

$html-font-family-monospace

Type: string

Default value: $theme-font-family-monospace

Computed value: Droid Sans Mono, monospace

$html-font-size-ratio

Type: number

Default value: $theme-font-size-ratio

Computed value: 0.8

$html-anchor-color

Type: color

Default value: $theme-primary-background-color

Computed value: #1976d2

$html-anchor-active-color

Type: color

Default value: $theme-primary-emphasis-background-color

Computed value: #1e88e5

$html-separator-color

Type: color

Default value: $theme-separator-color

Computed value: #e0e0e0