HTML defaults variables

`$html-selection-text-color`

Text selection color (Not working on iOS as ::selection css pseudo element is not supported according to https://caniuse.com/css-selection)

Type: color

Default value: $ui-on-primary-color

Computed value: "rgb(255, 255, 255)"

Alias (for compatibility): $theme-selection-text-color

`$html-selection-background-color`

Text selection background color

Type: color

Default value: $ui-primary-color

Computed value: "rgb(11, 121, 209)"

Alias (for compatibility): $theme-selection-background-color

`$html-font-family`

Default font family applied to html content

Type: string

Default value: $ui-font-family

Computed value: "Droid Sans, sans-serif"

`$html-font-family-monospace`

Monospaced font family applied to html content

Type: string

Default value: $ui-font-family-monospace

Computed value: "Droid Sans Mono, monospace"

`$html-font-size-ratio`

Font size ratio applied to html content

Type: number

Default value: $ui-font-size-ratio

Computed value: "0.8"

`$html-anchor-color`

Color applied to html links

Type: color

Default value: $ui-primary-color

Computed value: "rgb(11, 121, 209)"

`$html-anchor-active-color`

Color applied to active html links

Type: color

Default value: $ui-primary-color-emphasized

Computed value: "#2196f3"

`$html-separator-color`

Color applied to html separator

Type: color

Default value: $ui-border-color

Computed value: "rgb(224, 224, 224)"

`$html-webkit-scrollbars-global-enable`

Use webkit rendering for scrollbars (check https://caniuse.com/?search=webkit-scrollbar for browser compatibility)

Type: boolean

Default value: false

Alias (for compatibility): $theme-webkit-scrollbars-global-enable

`$html-webkit-scrollbars-size`

Define webkit scrollbars size

Type: size

Default value: "8px"

Computed value: "8px"

Alias (for compatibility): $theme-webkit-scrollbars-size

`$html-webkit-scrollbars-color`

Define webkit scrollbars default thumb color

Type: color

Default value: $ui-primary-color

Computed value: "rgb(11, 121, 209)"

Alias (for compatibility): $theme-webkit-scrollbars-color