[cgiirc-general] Changing font size?

[Karlo L. <kar...@gm...>]

Hello everybody,
I have a difficulty configuring CGI:IRC to meet all my needs. I'm
stuck with changing the font size of the main window. The font is set
to Verdana by default, and it looks rather huge. Ofcourse, it is
possible to change the font size inside my browser, but I don't want
my users to bother with that.

Instead, I want to change the default font size of the "Default"
style. I tried changing some options in formats/default and in
interfaces/style-default.css, but nothing seems to work. So, what do I
have to edit to set a smaller default font size?

Many thanks in advance...

-- 
Karlo Lozovina - Mosor