      .obsolete	{ background: #7f7f7f }
      .recommendation	{ background: #7fef7f }
      .note	{ background: #7f7f3f }
      .workingDraft	{ background: #7f3f3f }
      .hilight	{ color: #00ff00 }

      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 }
