Style roles

The extension registers roles styling inline text, and a stylesheet giving them their meaning, linked into every HTML page.

Role

Renders

:bolditalic:

bold and italic

:underline:

underlined

:strike:

struck through

:xlarge:

extra large

:red:

red

:green:

green

:blue:

blue

:purple:

purple

:deletion:

deleted

:addition:

added

 
A :red:`warning` and a :deletion:`removed` word.

A style role puts CSS classes on the text; the stylesheet gives them their meaning. :deletion: and :addition: are the two a diff needs.

Every colour and size is a CSS custom property, so a project changes it without replacing the stylesheet - in a stylesheet of its own, listed in html_css_files:

:root {
  --pyTooling-color-red: #b00020;
}

The properties are --pyTooling-color-red, -green, -blue, -purple and --pyTooling-xlarge-size.