', $theme_css); echo "\n"; } printf('
', $color[8], $color[3], $color[7], $color[7], $color[7]); ?>