/* Set display styles to show or hide recently modified text
   copyright David Gibson, 2015. No licence should be inferred.
   This scheme  replaces the previous  one of using a PHP file to dynamically write a style sheet
*/
 
SPAN.modified {
  /* color: green; 	for debugging */
}

SPAN.deleted, LI.deleted, DIV.deleted {
  display: none;
}

SPAN.showModified, DIV.showModified {
  color: OrangeRed;
  font-weight: bold;
  text-decoration: underline; 
}

SPAN.showDeleted, LI.showDeleted, DIV.showDeleted {
  color: red; 
  font-weight: bold;
  text-decoration: line-through;
}