Changed some settings. Mostly font settings
Use urxvt for terminal programs.
Save more scrollback lines in termite
Some color escape codes were missing. This fixed it.
For two-sided layout. Display the first page on the right.
Use urxvt instead of termite for terminal programs.
Better color for Proof General.