The new Release 20.03 is out! You can download binaries for Windows and many major Linux distros here .
I read there is a way to solve the discrepancies between ie and other browsers in font size...http://www.clagnut.com/blog/348/html { font-size: 100%; /* IE hack */ }body { font-size: 0.75em; }But I don't remember the original source. I'll try it out.
#your-selector{ font-size: 14pt;}
Quote from: rickg22 on December 15, 2005, 12:54:54 amI read there is a way to solve the discrepancies between ie and other browsers in font size...http://www.clagnut.com/blog/348/html { font-size: 100%; /* IE hack */ }body { font-size: 0.75em; }But I don't remember the original source. I'll try it out.Umm just use point (pt) sizes it works the same in Internet Exploder and Firefox. I know because I have to do it in my CSS. Something like thisCode#your-selector{ font-size: 14pt;}
LOL! :lol: that was a good one.(If you weren't kidding, please go to the beginning of the thread and see what was causing us problems in the firxt place )
* html body tt{font-size:10pt;}
tt{font-size:small;}
In any case, it's fixed now. Rejoice!
html { font-size:100%; }
tt, .code { font-size:1em; }