<html><head><meta name="qrichtext" content="1" /></head><body style="font-size:8pt;font-family:DejaVu Sans">
<p>I propose those colors for the titles in the document:</p>
</body></html>
