.eq_lrge {
    font-size: 150%;
}

.eq_med {
    font-size: 125%;
}


h2 {
    color: #136CB9;
}

h3 {
    color: #d35400;
}

pre code {
  white-space: pre-wrap;
}


/* Pedagogic boxes */

.tip {
  border-radius: 10px;
  padding: 10px;
  border: 2px solid #136CB9;
  background-color: #136CB9;
  background-color: rgba(19, 108, 185, 0.1);
  color: #2C5577;
}

.note {
  border-radius: 10px;
  padding: 10px;
  border: 2px solid #f3e2c4;
  background-color: #f3e2c4;
  background-color: rgba(243, 226, 196, 0.1);
  color: #775418;
}

.warning {
  border-radius: 10px;
  padding: 10px;
  border: 2px solid #CA3E34;
  background-color: #CA3E34;
  background-color: rgba(145, 45, 37, 0.1);
  color: #912D25;
}

.infobox {
  border-radius: 10px;
  padding: 10px;
  border: 2px solid #E8EAE5;
  background-color: #E8EAE5;
  background-color: rgba(232, 234, 229, 0.95);
  color: #2F4F4F;
}

.whitebox {
  border-radius: 10px;
  padding: 10px;
  border: 2px solid #FFFFFF;
  background-color: #FFFFFF;
  background-color: rgba(255, 255, 255, 0.70);
  color: #2C5577;
}

.whitebox9 {
  border-radius: 10px;
  padding: 10px;
  border: 2px solid #FFFFFF;
  background-color: #FFFFFF;
  background-color: rgba(255, 255, 255, 0.90);
  color: #2C5577;
}

.drkbox {
  border-radius: 10px;
  padding: 10px;
  border: 2px solid #3F3F3F;
  background-color: #3F3F3F;
  background-color: rgba(63, 63, 63, 0.70);
  color: #FFFFFF;
}

.blubox {
  border-radius: 10px;
  padding: 10px;
  border: 2px solid #15224c;
  background-color: #15224c;
  background-color: rgba(21, 34, 76, 0.70);
  color: #FFFFFF;
}




/* Style the video: 100% width and height to cover the entire window */
#my_video {
  position: fixed;
  right: 0;
  bottom: 0;
  min-width: 100%;
  min-height: 100%;
  width: 100%;
}