pre.sample	{ background: #efefef }
      span.old		{ color: #7f7f7f }
      span.new		{ color: #cf3f0f }
      span.subject	{ color: #7f005f }
      span.type		{ color: #00cfcf }
      span.property	{ color: #ff0000 }
      span.resource	{ color: #0000ff }
      span.literal	{ color: #00ff00 }