24.13 Known Styles in ALLPROSE

  24.13.1 Text Styles
  24.13.2 Background Colors

ALLPROSE allows to modify the styles through a file local.sty (see Section 28.10 target colored).

Here we list most (hopefully all) of the styles that are adjustable. There are basically two types of styles:

  1. On can change the appearance of certain text through a TEX command that ends in Style.
  2. For certain environments the background color can be set.

24.13.1 Text Styles

24.13.2 Background Colors

The background color of the environments given below can be set through the command backgroundColor. This command basically takes two arguments, the name of an environment and a color description, for example,

\backgroundColor{ToDo}{red}  
\backgroundColor{Convention}[rgb]{1.0,0.5,0.2}

As the first argument one can give one of the following environment names: adsnippet, aldordoc, code, Convention, ToDo, verbatim, verbatiminput.

Noweb code chunks appear with a background given through the command backgroundColor{code}{...}. See Section 24.12, for an example of a code chunk.

ToDo 9 This is an example of a ToDo environment.
Convention 15 This is an example of a Convention environment.
This is an example of a verbatim environment.

For text that is verbatimly read from a file use verbatiminput. See at project.def.tex for how backgroundColor{verbatiminput}{...} affects the style of the generated file.

A +++ environment is set with the background given through the command backgroundColor{aldordoc}{...}. This is text in a +++ environment.

This is an example of an adsnippet environment.    

After the definition of a category there normally appears a short list of the functions it exports. This list is generated and input into the running text with a background given through backgroundColor{showexports}{...}. Look, for example, at the exports of MyVersionInformationType.