Text Editor: Blue

Adding a bit of blue, and revising a few of elements.
· One kind of button shading
· Blue insets
· Text editor / Code editor
· Lion traffic lights