/* $Id: style.css,v 1.3 2000/08/01 13:59:25 connolly Exp $ */

/*
 * ClassTree (formerly: Classes)
 * http://www.w3.org/2000/07/hs78/#ClassTree
 */
div.ClassTree { border: 3px; background: #ffe0ff ; border: solid 2px }
div.ClassTree ul li b { text-decoration: underline } /* class name */
div.ClassTree ul li dfn  /* class name */
{ text-decoration: underline; font-style: normal; font-weight: bold }
div.ClassTree ul li b { text-decoration: underline } /* instance */
div.ClassTree ul li a { text-decoration: underline }
div.ClassTree ul li em { text-decoration: underline }


/*
 * Property
 * http://www.w3.org/2000/07/hs78/#Property
 */
li.Property { border: 3px; background: #ffffc0 ; border: solid 1px }
li.Property b { text-decoration: underline }
li.Property a { text-decoration: underline }
li.Property p { font-family: serif } /* comment */


/*
 * Rule
 * http://www.w3.org/2000/07/hs78/#Rule
 */
dl.Rule { margin: 2em; border: 3px; background: #d0ffff ; border: solid 1px }

/* each of the parts of a statement (subject, predicate, object)
   in the conclusion of a rule must be a
   constant, represented as an <a> to ground it in the web, or
   a variable, marked up as <var>, or
   a constant, marked up as <tt>
  */
dl.Rule dt a { text-decoration: underline }
dl.Rule dt var { text-decoration: underline }
dl.Rule dt tt { text-decoration: underline  }

/* similarly for the premises */
dl.Rule dd ul li a { text-decoration: underline }
dl.Rule dd ul li var { text-decoration: underline; color: #ff1010 }
dl.Rule dd ul li tt { text-decoration: underline }