//  Flag texture for button
//  
//  Assumes defined
//  
//    button_texture_file
//    highlight_color
//    
//  Defines
//  
//    button_texture

#declare button_texture = 
  texture{
    pigment{
      image_map{ ppm button_texture_file }
      quick_color color rgb <0.265,0.810,0.130>
    }
    finish{ diffuse 0.8 ambient 0.2 }
    rotate <90,0,0>
    scale < 2, 1, 2 >
    translate < -1, 0, -1 >
  }
  texture{
    pigment {color highlight_color filter 0.95}
    finish {diffuse 0.0 ambient 0.0 specular 0.7 roughness 0.01}
  }