diff options
Diffstat (limited to 'htmlbuffer.py')
| -rw-r--r-- | htmlbuffer.py | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/htmlbuffer.py b/htmlbuffer.py index c027d739b..885e9c67d 100644 --- a/htmlbuffer.py +++ b/htmlbuffer.py @@ -57,6 +57,9 @@ class HTMLBuffer(HTMLParser.HTMLParser): tag = self.buffer.create_tag('keycap') tag.set_property('font', 'Monospace %d' % (baseSize,)) + tag = self.buffer.create_tag('pre') + tag.set_property('font', 'Monospace %d' % (baseSize,)) + tag = self.buffer.create_tag('a') tag.set_property('font', '%s %d' % (baseFont, baseSize)) |