search

tlaplus / vscode-tlaplus

TLA+ language support for Visual Studio Code
MIT License
357 stars 33 forks source link

LaTeX output doesn't specify box shade #240

Open dustin opened 3 years ago

dustin commented 3 years ago

The comment boxes aren't visually different from code in a way that makes it a bit unclear how descriptions and definitions are separate.

I see this in the output from the toolbox:

\definecolor{boxshade}{gray}{0.85}

Perhaps having that as a configurable option would be handy.