Large fixed-width text

When reading our web-based server documentation in Ubuntu Firefox, I
have always seen overly-large fixed-width text. In looking at our CSS
files, specifically text.css, I see:

#txtArchives pre {
font-size:150%;
}
#txtArchives tt {
font-size:150%;
}

This certainly looks wrong, and explains what I am seeing. Does anyone
know why it is there?

The actual code that is causing a problem in my browser is in
geckofixes.css:

#docContainer tt, #docContainer pre, #docContainer code {
font-size:1.4em;
}

and below it is this contradicting code for multi-tag content:

#docContainer tt tt, #docContainer tt code, #docContainer tt pre {
font-size: 1.0em;
}

#docContainer pre code, #docContainer pre tt, #docContainer pre pre {
font-size: 1.0em;
}

#docContainer code code, #docContainer code tt, #docContainer code pre {
font-size: 1.0em;
}

Again, why is it there. There are no comments indicating its purpose,
and it is clearly causing problems on my Firefox/Ubuntu setup.

--
Bruce Momjian <bruce(at)momjian(dot)us> http://momjian.us
EnterpriseDB http://enterprisedb.com

+ If your life is a hard drive, Christ can be your backup. +