File indexing completed on 2024-05-12 17:20:34
0001 <!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01//EN" "http://www.w3.org/TR/html4/strict.dtd"> 0002 <html><head><meta name="qrichtext" content="1" /><meta http-equiv="Content-Type" content="text/html; charset=utf-8" /><style type="text/css"> 0003 p, li { white-space: pre-wrap; margin: 0px; } 0004 </style></head><body> 0005 <p><b><span style="font-family: DejaVu Sans; ">all</span></b><span style="font-family: DejaVu Sans; "> </span><span style="font-family: DejaVu Sans; text-decoration: underline; ">fonts</span><span style="font-family: DejaVu Sans; "> </span><span style="font-family: DejaVu Sans; font-style: italic; ">are</span><span style="font-family: DejaVu Sans; "> here</span></p></body></html>