diff options
| author | gbrandl <devnull@localhost> | 2007-10-15 19:26:50 +0200 |
|---|---|---|
| committer | gbrandl <devnull@localhost> | 2007-10-15 19:26:50 +0200 |
| commit | 54465c1b1bd1b93e0728429e86ee2a0bc8d069f5 (patch) | |
| tree | b6648283ce9bb072829bf22b23545b620b9ff7aa /pygments/formatters/html.py | |
| parent | 068a3b963532e4540c848f56658069e38014766c (diff) | |
| download | pygments-54465c1b1bd1b93e0728429e86ee2a0bc8d069f5.tar.gz | |
Fix not-so-optimal backtracking regexp in mupad lexer.
Diffstat (limited to 'pygments/formatters/html.py')
| -rw-r--r-- | pygments/formatters/html.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pygments/formatters/html.py b/pygments/formatters/html.py index e8c80325..351d395e 100644 --- a/pygments/formatters/html.py +++ b/pygments/formatters/html.py @@ -226,7 +226,7 @@ class HtmlFormatter(Formatter): The default value is ``False``, which means no line numbers at all. **Note:** with the default ("table") line number mechanism, the line - numbers and code will have different line heights in Internet Explorer + numbers and code can have different line heights in Internet Explorer unless you give the enclosing ``<pre>`` tags an explicit ``line-height`` CSS property (you get the default line spacing with ``line-height: 125%``). |