[coq] customise proof-eager-annotation-face
[theme] Comment
[theme] extract coq faces
[theme] extract iedit faces
[theme] extract hl-line faces
[theme] extract solarized config to separate file
[theme] extract helm faces
[helm] tidy config
[theme] Extract paren-face
[theme] fix face specs
[theme] extract ledger faces
[theme] extract shm faces
[theme] move common theme setup into solarized config
[theme] update helm theme
[theme] delete solarized theme customisations
[theme] finish cleanup