Directory macros/latex/contrib/bussproofs-colorful
README
# bussproofs-colorful — Color extension for bussproofs
`bussproofs-colorful` extends the `bussproofs` package by adding color
support for proof trees. It provides configurable colors for nodes,
inference lines, and rule labels, together with a theme system and a
scoped `ProofColors` environment. The package is minimally invasive and
preserves the layout and spacing logic of `bussproofs`.
## Features
- Global color configuration via package options:
- `nodecolor=<color>`
- `linecolor=<color>`
- `labelcolor=<color>`
- `theme=<name>`
- Built‑in themes:
- `classic`, `dark`, `pastel`, `highcontrast`
- Runtime color control:
- `\SetNodeColor{<color>}`
- `\SetLineColor{<color>}`
- `\SetLabelColor{<color>}`
- `\LoadProofTheme{<theme>}`
- `\ResetProofColors`
- Local color blocks using:
```tex
\begin{ProofColors}[node=red, line=gray]
...
\end{ProofColors}
## Requirements
- bussproofs
- xcolor
- kvoptions
All are part of standard LaTeX distributions.
## License
This package is released under the
LaTeX Project Public License (LPPL) version 1.3c or later.
## Maintainer
Julian (lambdaphoenix)
## Development
The package is developed openly on GitHub:
Repository: https://github.com/lambdaphoenix/bussproofs-colorful
Issue tracker: https://github.com/lambdaphoenix/bussproofs-colorful/issues
## Distribution:
The CTAN distribution includes:
- bussproofs-colorful.sty - version 1.0 of the style file.
- bussproofs-colorful-manual.pdf - The documentation.
- bussproofs-colorful-manual.tex - Latex source for the documentation.
- README - This file.
Download the contents of this package in one zip archive (334.5k).
bussproofs-colorful – Color extension for the bussproofs package
This is a small extension to the bussproofs package that adds color control for proof trees. It allows users to customize the colors of nodes (formulas), inference lines, and labels via package options and runtime commands, while preserving the original layout and spacing of bussproofs.
| Package | bussproofs-colorful |
| Bug tracker | https://github.com/lambdaphoenix/bussproofs-colorful/issues |
| Repository | https://github.com/lambdaphoenix/bussproofs-colorful |
| Version | 1.0 2026-01-27 |
| Licenses | The LaTeX Project Public License 1.3c |
| Copyright | 2026 Julian (lambdaphoenix) |
| Maintainer | Julian |
| Topics | Colour Proof Maths |
| See also | bussproofs |