table.symbol th
{
  background-color : #ffaa7f;
  padding-left : 15pt;
  padding-right : 15pt;    
}
table.symbol td
{  
  padding-left : 15pt;
  padding-right : 15pt;    
  padding-top : 5pt;
  padding-bottom : 5pt;
}
/* Pour les endroits avec des exemples HTML */
*[class~="html"]
{
  background-color : #c3c3c3;
}
*[class~="html"][class~="entity"]
{
  font-weight : bold;
  color : green;
  background-color : transparent;
}
*[class~="html"][class~="tag"]
{
  font-weight : bold;
  color : red;
  background-color : transparent;
}
*[class~="editable"]
{
  font-style : oblique;
  color : green;
  background-color : transparent;
}

/* Pour les tables d'entites */
table[class~="symbol"] tr[class~="comment"] td
{
  text-align       : center;
  font-style       : oblique;
  color            : red;
  border-top       : 1px black solid;
  border-bottom    : 1px black solid;
}
table[class~="symbol"] tr[class~="group"] td
{
  font-weight      : bold;
  background-color : #d18b68;
}


