Workaround for Mozilla Bug 449396

Andrew Stacey reminded me that this bug
   https://bugzilla.mozilla.org/show_bug.cgi?id=449396
is still unfixed.
But it's easy to work around...
This commit is contained in:
Jacques Distler 2009-08-27 15:28:16 -05:00
parent 28cf501166
commit 93ea19f567
2 changed files with 74 additions and 0 deletions

View file

@ -68,3 +68,40 @@ pre.xml .punct { color: #449; font-weight: bold; }
pre.xml .string { color: #949; } pre.xml .string { color: #949; }
pre.xml .number { color: #F99; } pre.xml .number { color: #F99; }
pre.xml .attribute { color: #771; } pre.xml .attribute { color: #771; }
/* Hack for Mozilla bug 449396 */
[mathvariant="bold"] * {
font-style: normal;
font-variant: normal;
font-weight: bold;
}
[mathvariant="italic"] * {
font-style: italic;
font-variant: normal;
font-weight: normal;
}
[mathvariant="bold-italic"] * {
font-style: italic;
font-variant: normal;
font-weight: bold;
}
[mathvariant="sans-serif"] * {
font-style: normal;
font-variant: normal;
font-weight: normal;
}
[mathvariant="bold-sans-serif"] * {
font-style: normal;
font-variant: normal;
font-weight: bold;
}
[mathvariant="sans-serif-italic"] * {
font-style: italic;
font-variant: normal;
font-weight: normal;
}
[mathvariant="sans-serif-bold-italic"] * {
font-style: italic;
font-variant: normal;
font-weight: bold;
}

View file

@ -475,3 +475,40 @@ pre.xml .punct { color: #449; font-weight: bold; }
pre.xml .string { color: #949; } pre.xml .string { color: #949; }
pre.xml .number { color: #F99; } pre.xml .number { color: #F99; }
pre.xml .attribute { color: #771; } pre.xml .attribute { color: #771; }
/* Hack for Mozilla bug 449396 */
[mathvariant="bold"] * {
font-style: normal;
font-variant: normal;
font-weight: bold;
}
[mathvariant="italic"] * {
font-style: italic;
font-variant: normal;
font-weight: normal;
}
[mathvariant="bold-italic"] * {
font-style: italic;
font-variant: normal;
font-weight: bold;
}
[mathvariant="sans-serif"] * {
font-style: normal;
font-variant: normal;
font-weight: normal;
}
[mathvariant="bold-sans-serif"] * {
font-style: normal;
font-variant: normal;
font-weight: bold;
}
[mathvariant="sans-serif-italic"] * {
font-style: italic;
font-variant: normal;
font-weight: normal;
}
[mathvariant="sans-serif-bold-italic"] * {
font-style: italic;
font-variant: normal;
font-weight: bold;
}