/* style sheet for displaying insertions and deletions to a web page */
.ins {background-color: inherit; color: red; text-decoration: underline; }
.del {background-color: inherit; color: gray; text-decoration: line-through;}