// Last edited on DATE TIME by USER
#declare highlight_color = color rgb <1.00, 1.00, 1.00>;