Gmailがテーマ変更可能に。“忍者”や“ターミナルモード”も（関連情報）