<p><font face="courier new,monospace">Some images in the folder of the renewal theme in JBoss Portal 2.7 don&#39;t seem to be used at all (header-bg.gif, for instance), is that really the case? Thanks.</font></p>