CTAN Comprehensive TeX Archive Network

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.

Packagebussproofs-colorful
Bug trackerhttps://github.com/lambdaphoenix/bussproofs-colorful/issues
Repositoryhttps://github.com/lambdaphoenix/bussproofs-colorful
Version1.0 2026-01-27
LicensesThe Project Public License 1.3c
Copyright2026 Julian (lambdaphoenix)
MaintainerJulian
TopicsColour
Proof
Maths
See alsobussproofs
...
Guest Book Sitemap Contact Contact Author