* src/docgen/HtmlDoc.py (write_note): Set monospace font family

for a preformatted note.


svn: r2512
This commit is contained in:
Alex Roitman 2003-12-12 23:24:07 +00:00
parent 7d779c25a8
commit e962ebe517
2 changed files with 5 additions and 1 deletions

View File

@ -1,3 +1,7 @@
2003-12-11 Alex Roitman <shura@alex.neuro.umn.edu>
* src/docgen/HtmlDoc.py (write_note): Set monospace font family
for a preformatted note.
2003-12-11 Don Allingham <dallingham@users.sourceforge.net> 2003-12-11 Don Allingham <dallingham@users.sourceforge.net>
* src/plugins/WriteFtree.py (FtreeWriter.export): make sure that the * src/plugins/WriteFtree.py (FtreeWriter.export): make sure that the
parents are in the id_map array parents are in the id_map array

View File

@ -437,7 +437,7 @@ class HtmlDoc(BaseDoc.BaseDoc):
def write_note(self,text,format,style_name): def write_note(self,text,format,style_name):
if format == 1: if format == 1:
self.f.write('<pre class=%s>' % style_name) self.f.write('<pre class=%s style="font-family: courier, monospace">' % style_name)
self.write_text(text) self.write_text(text)
self.f.write('</pre>') self.f.write('</pre>')
elif format == 0: elif format == 0: