> "Andre" == Andre Poenitz <[EMAIL PROTECTED]> writes:
Andre> On Wed, Jan 09, 2002 at 04:12:23PM +0100, Herbert Voss wrote:
>> where is the sense of Displaystyle and Textstyle? Both have the
>> same size by default. From my point of view, there should only be
>> Displaystyle or Default as a s
On Wed, Jan 09, 2002 at 04:12:23PM +0100, Herbert Voss wrote:
> where is the sense of Displaystyle and Textstyle?
> Both have the same size by default.
> From my point of view, there should only be
> Displaystyle or Default as a synonym for Standard.
> If you have both, than you should do it righ
where is the sense of Displaystyle and Textstyle?
Both have the same size by default.
From my point of view, there should only be
Displaystyle or Default as a synonym for Standard.
If you have both, than you should do it right:
Displaystyle disabled for inlinemode
Textstyle disabled for displaymo