[horde] horde-halfgear.png missing

[Andrew Morgan]

In Horde v3.3.8, the CSS file "themes/hordeweb/screen.css" contains:

#menu {
     background: #063 url(graphics/horde-halfgear.png) no-repeat 80% top;
     color: #cfc;
     -moz-border-radius: 8px;
     -webkit-border-radius: 8px;
}


However, I cannot find a file name horde-halfgear.png anywhere in the 
distribution or in the CVS/GIT tree online.

I see "file not found" errors in the Apache error log whenever someone 
chooses the HordeWeb theme.

Is there a horde-halfgear.png file around?  Should I modify screen.css to 
point to a different image file?

Thanks,
 	Andy