pre {
  max-height: 700px;
  overflow-y: auto;
}

pre[class] {
  max-height: 300px;
}

div.theorem {
    background-color: #f0f0f0;
    border-left: 5px solid #de11da;
    padding: 10px;
    margin-bottom: 10px;
}
  
div.definition {
  background-color: #f7f7f7;
  border-left: 5px solid #11c396;
  padding: 10px;
  margin-bottom: 10px;
}

div.example {
  background-color: #f7f7f7;
  border-left: 5px solid #cdd011;
  padding: 10px;
  margin-bottom: 10px;
}

div.corollary {
  background-color: #f7f7f7;
  border-left: 5px solid #08d9d2;
  padding: 10px;
  margin-bottom: 10px;
}

div.exercise {
  background-color: #f7f7f7;
  border-left: 5px solid #2c2c2c;
  padding: 10px;
  margin-bottom: 10px;
}