.strikethrough{text-decoration:line-through}.target-name.duplicated{color:red}.target-name.not-changed{color:#ff9595}.fold-toggle,.target-name{word-break:keep-all;white-space:pre}