Helpful person said:
Am I correct that there is no way to code my web page to overwrite the
minimum font size that is set by Opera?
You mean override the users minimum font-size? Mine, for example is set
at 14px in Opera 10 in my preferences (they may be in somehing called
options on some machines). But you want some text to be smaller than
this. Perhaps for graphic effect; for example I can imagine it in a joke
where you are lampooning a lawyer's cunning clauses. Perhaps in this
situation, make a picture of text with a link to the html text if it is
important that they actually read it.