Context: Wanting a lighter gray for the lines , I promoted the gray ( # 808080 ) color of the theme to a main color by double clicking it and chose a lighter gray . Finally I created a new style sheet with the new colors . In the whole process I found that Chris Pederick 's Web Developer Extension for Firefox invaluable .
Question: Why did he make a new style ?
Option 0: To use the Web Developer Extension for Firefox .
Option 1: To change the colors .
Option 2: None of the above choices .
Option 3: He wanted to make the color by double clicking it .
Answer: 1