[pmwiki-users] Text Area Editor Font Size

[Patrick R. Michaud]

On Fri, May 14, 2010 at 04:19:26PM -0400, DaveG wrote:
> 
> 
> On 5/14/2010 1:45 PM, William (Bill) B. Logan, Sr. wrote:
> >Greetings. I'm new to pmwiki. After searching google and the pmwiki
> >mailing lists I can't find if I can or how to change the font size in
> >the editor. The default size is too small for me and if I cannot enlarge
> >it I will not be able to make use of pmwiki (to my disappointment. (To
> >be clear, I'm not talking about markup - what the reader sees when
> >viewing a page, but the editor text area.)
> Various ways to do this. Here's one. Add this to config.php:
>   $HTMLStylesFmt[] = '#wikiedit textarea { font-size: 1.3em; }';

Slightly easier (especially if there are many such tweaks)
may be to add the line

    #wikiedit textarea { font-size: 1.3em; }

to pub/css/local.css (creating the file if it doesn't already exist).

Pm