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 ?
Options:
0. To use the Web Developer Extension for Firefox .
1. To change the colors .
2. None of the above choices .
3. He wanted to make the color by double clicking it .
Answer: 1