A few highly customized themes for text editor gedit