/****************************************************************************************
 * On trouvera ici les réglages pour l'historique d'une page
 ****************************************************************************************/

.revisioninfo {
  color: #AAAAAA;
  padding-bottom: 20px;
}

.additions {
  color: #008800;
}
.deletions {
  color: #880000;
}

.add {
  background-color:#0f0;
}

.del {
  background-color:#f00;
}