/* Fixes for IE5 */

/* The table element does not inherit the font size from its parent */
table { font-size: 100%; }

/* IE does not support padding-right on a elements */
a.external { padding-right: 0; background:none; }