How to change the font size for a piece of code that is displayed as part of a web page?
Specifically, my web page contains a Python script, displayed using SyntaxHighlighter. The default font size results looks okay, but some code lines are a bit too long so that a horizontal scroll bar appears. To get rid of the scroll bar, I would like to reduce the font size of displayed code by 1 pt or so. For consistent appearance, I would like to impose a uniform setting for the entire web site.
Web search gave the answer: use Firebug to find out which css are active, then modify them. However, in my page Firebug finds no active css (under the CSS tab, it just says "There are no rules. You can create a rule."). The code fragment is embedded in
<pre>..</pre>, which is embedded in several
<div>..</div>, which is embedded in a table. At no level I see a font-size setting command.
Which adminstration submenu allows me to change the font size for specific displays? Or which configuration file should I edit?