My modifications of Theme Terminal.