/*.code span#p2 { background: yellow } */
.code span.syntax { font-weight: bold ; color: #0000aa }
.code span.keyword { font-weight: bold ; color: #880000} 
.code span.Name { color: #001122 }
.code span.string { color: blue }

ul { 
   ; list-style-type: square
/*   ; border-top: 1px dotted black */
/*   ; border-left: 1px solid blue */
   ; padding-top: 2px
   ; padding-left: 12px
   }

.dict li { 
  }

ul.prim { 
   ; list-style-type: circle
   ; border-top: none
   ; border-left: none
   ; padding-top: 0px
   ; padding-left: 20px 
   }

.prim li { 
  ; border-top: none
  ;  font-size: x-small 
  }

.order { 
  ;  font-size: x-small 
  }


table.headbar 
  {
  ; border : 1px solid black
  }

.headbar td.choice 
  {
  ; background: #bbbbbb
  ; border: 2px ridge orange
  ; width: 120px
  }

li .singlerewrite 
   {
   ; list-style-type: circle
   }

table.tree
   { border-collapse: collapse
   ; padding: 0
   ; spacing: 0
   ; border: 1px solid white
   ; width: 100%
   }

table.tree table.tree
   { 
/*   ; display: block */
   ; border-left: 16px solid white
   }

*.tree td.rewrite
   { 
   ; background: #ffffff
   ; font-size: 80%
   }

*.tree td.rewrite:hover
   { 
   ; background: #888888
   ; color:      yellow
   }

*.tree td.singlerewrite
   { 
   ; background: #ffffff
   ; font-size: 80%
   ; font-style: italic
   }

*.tree td.singlerewrite:hover
   { 
   ; background: #888888
   ; color:      green
   }

.tree th
   { 
   ; background: #eeeeee
   ; text-align: left
   ; font-size: 85%
   }