* 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 0f273ef5ea
commit 869456b101
2 changed files with 5 additions and 1 deletions

View File

@@ -437,7 +437,7 @@ class HtmlDoc(BaseDoc.BaseDoc):
def write_note(self,text,format,style_name):
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.f.write('</pre>')
elif format == 0: