.theorem {
  background-color: #edf6ff;
  border-left: 4px solid #94ccfc;
  padding: 10px;
  padding-top:0px;
  border-radius: 4px;
}

.proposition {
  background-color: #e5f4f2;
  border-left: 4px solid #cde0f0;
  padding: 10px;
  padding-top:0px;
  border-radius: 4px;
}

.lemma {
  background-color: #fff6e7;
  border-left: 4px solid #1e88e5;
  padding: 10px;
  padding-top:0px;
  border-radius: 4px;
}


.definition {
  background-color: #f1f9f5;
  border-left: 4px solid #70d975;
  padding: 10px;
  padding-top:0px;
  margin: 1em 0;
  border-radius: 4px;
}

/* Style épuré pour les preuves
.proof {
  background-color: #f9f9f9;
  border-left: 4px solid #9e9e9e;
  padding: 1em;
  margin: 1em 0;
  font-style: italic;
  border-radius: 4px;
} */

/* Pour les preuves repliables (popup-like) */
.proof {
  background-color: #f5f5f5;
  border-left: 4px solid #757575;
  padding: 0.5em 1em;
  margin: 0.5em 0;
}

details.proof summary {
  cursor: pointer;
  font-weight: bold;
  color: #424242;
}
/* 
.example {
  background-color: #f5f5f5;
  border-left: 4px solid #757575;
  padding: 0.5em 1em;
  margin: 0.5em 0;
}

.exemple {
  background-color: #f5f5f5;
  border-left: 4px solid #757575;
  padding: 0.5em 1em;
  margin: 0.5em 0;
} */