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

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

pre	{
	border: double 3px gray;
	margin: 10px 10%;
	padding: 20px 5%;
/*	clear: both; */
	}