# 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.