First of all, thank you Jean-Marc.
'relyx -r' - this option is not directly available from the GUi, is it?
Anyway, I guess it will help.
The 'proof' thingy:
Style Theorem
Margin First_Dynamic
LatexType Environment
LatexName theorem
ParSkip 0.4
ItemSep 0.2
TopSep 0.7
BottomSep 0.7
ParSep 0.3
Align Block
AlignPossible Block, Left
LabelSep xx
LabelType Static
LabelString "Theorem #."
End
Style Proof
CopyStyle Theorem
LatexName proof
LabelString "Proof."
#EndLabelString "[]"
EndLabelType Box
End
It's mainly copied from... foils.layout(?)
Andre'
--
It'll take a long time to eat 63.000 peanuts.
Andr� P�nitz ......................... [EMAIL PROTECTED]