//  Flag texture for button
//  
//  Assumes defined
//  
//    button_flag_file
//    highlight_color
//    
//  Defines
//  
//    button_texture_flag

#declare button_texture_flag = 
  texture{
    pigment{
      image_map{ ppm button_flag_file }
      quick_color color rgb <0.265,0.810,0.130>
    }
    finish{ diffuse 0.9 ambient 0.1 }
    rotate <90,0,0>
    scale < 2, 1, 2 >
    translate < -1, 0, -1 >
  }
  texture{
    pigment {color highlight_color filter 0.90}
    finish {diffuse 0.0 ambient 0.0 specular 0.7 roughness 0.01}
  }