{ font-size $ default-font-size }
{ foreground $ text-color }
{ page-color $ code-background-color }
+ { border-color $ code-border-color }
{ inset { 5 5 } }
{ wrap-margin f }
} code-style set-global
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
HOOK: warning-background-color theme ( -- color )
HOOK: warning-border-color theme ( -- color )
HOOK: code-background-color theme ( -- color )
+HOOK: code-border-color theme ( -- color )
HOOK: help-path-border-color theme ( -- color )
HOOK: tip-background-color theme ( -- color )
M: light-theme warning-background-color COLOR: #F4D9D9 ;
M: light-theme warning-border-color COLOR: #F42300 ;
M: light-theme code-background-color COLOR: FactorLightTan ;
+M: light-theme code-border-color COLOR: FactorTan ;
M: light-theme help-path-border-color COLOR: grey95 ;
M: light-theme tip-background-color COLOR: lavender ;
M: dark-theme warning-background-color COLOR: #492d33 ;
M: dark-theme warning-border-color COLOR: solarized-red ;
M: dark-theme code-background-color COLOR: #2F4D5B ;
+M: dark-theme code-border-color COLOR: #666666 ;
M: dark-theme help-path-border-color COLOR: solarized-base02 ;
M: dark-theme tip-background-color COLOR: #2F4D5B ;