AlignPossible Block, Left
LabelType Static
LabelString "Proof."
+ EndLabelType Box
# standard font definition
Font
# Bibliography style definition
Style Bibliography
Margin First_Dynamic
- LatexType Item_Environment
+ LatexType Bib_Environment
LatexName thebibliography
NextNoIndent 1
LeftMargin MM