update-tools-style ( -- )


Vocabulary
ui.theme.switching.tools

Inputs
None

Outputs
None

Definition


: update-tools-style ( -- )
text-color default-font-foreground-color set-global
content-background default-font-background-color set-global
default-style text-color foreground update-style
link-style link-color foreground update-style
title-style title-color foreground update-style
title-style help-header-background page-color update-style
help-path-style text-color foreground update-style
help-path-style help-path-border-color table-border
update-style
heading-style heading-color foreground update-style
snippet-style snippet-color foreground update-style
code-style code-background-color page-color update-style
code-style code-border-color border-color update-style
code-style text-color foreground update-style
output-style output-color foreground update-style
url-style link-color foreground update-style
warning-style warning-background-color page-color
update-style
warning-style warning-border-color border-color update-style
deprecated-style deprecated-background-color page-color
update-style
deprecated-style deprecated-border-color border-color
update-style
table-style table-border-color table-border update-style
tip-of-the-day-style tip-background-color page-color
update-style
{ POSTPONE: USING: POSTPONE: USE: POSTPONE: IN: } [
"word-style" word-prop [ dim-color foreground ] dip
set-at
] each base-word-style text-color foreground update-style
highlighted-word-style highlighted-word-color foreground
update-style
base-string-style string-color foreground update-style
base-vocab-style dim-color ~38 more~ ;