tweaked Terminal theme