Re: Changing font size in Tables

[Dekel Tsur]

> Not officially. However, there's a "hack" I made, not so nice but better
> than by doing it by hand: before the table type
>        {\scriptsize
> and mark it as red TeX. After the table, type
>        }                                                                       

There is no need to use ERT, as I explained in my previous mail.