Tweaked log type and coloring (doesn't seem to make a difference yet)
Tweaked log type and coloring (doesn't seem to make a difference yet)


Former-commit-id: 874b11e0901a8c3af875b833843b95d74a88ac28
DavidAce/DMRG,DavidAce/DMRG,DavidAce/DMRG,DavidAce/DMRG