In theory, at least, they should be able to provide the same effect using a table (like they are) with graphics for the border edges only (4 graphics; the top border is already a single image: nav_mini_r1_c1.jpg, 468x11 pixels, 686 bytes) and add the Light Slate Grey as a background color for the table with text links.