From bf20905761d0010d09d8dc2c946e7a135932874b Mon Sep 17 00:00:00 2001 From: Paul Franklin Date: Tue, 30 Dec 2014 10:50:55 -0800 Subject: [PATCH] specify SVG font size is in points, for stupid viewers --- src/plugins/docgen/SvgDrawDoc.py | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/plugins/docgen/SvgDrawDoc.py b/src/plugins/docgen/SvgDrawDoc.py index 2b4ecacc9..70e406cd4 100644 --- a/src/plugins/docgen/SvgDrawDoc.py +++ b/src/plugins/docgen/SvgDrawDoc.py @@ -120,7 +120,7 @@ class SvgDrawDoc(BaseDoc, DrawDoc): self.t.write('font-weight:bold;') if font.get_italic(): self.t.write('font-style:italic;') - self.t.write('font-size:%d; ' % size) + self.t.write('font-size:%dpt; ' % size) if font.get_type_face() == FONT_SANS_SERIF: self.t.write('font-family:sans-serif;') else: @@ -242,7 +242,7 @@ class SvgDrawDoc(BaseDoc, DrawDoc): self.t.write(' font-weight:bold;') if font.get_italic(): self.t.write(' font-style:italic;') - self.t.write(' font-size:%d;' % font_size) + self.t.write(' font-size:%dpt;' % font_size) if font.get_type_face() == FONT_SANS_SERIF: self.t.write(' font-family:sans-serif;') else: @@ -275,7 +275,7 @@ class SvgDrawDoc(BaseDoc, DrawDoc): self.t.write('font-weight:bold;') if font.get_italic(): self.t.write('font-style:italic;') - self.t.write('font-size:%d; ' % font_size) + self.t.write('font-size:%dpt; ' % font_size) if font.get_type_face() == FONT_SANS_SERIF: self.t.write('font-family:sans-serif;') else: