p.caption {
  color: #777;
  margin-top: 10px;
}
p code {
  white-space: inherit;
}
pre {
  word-break: normal;
  word-wrap: normal;
}
pre code {
  white-space: inherit;
}

.blackbox {
  padding: 1em;
  background: black;
  color: white;
  border: 2px solid orange;
  border-radius: 10px;
}

div.example {
  padding-top: 0.85em;
  padding-left: 0.85em;
  padding-right: 0.85em;
  margin-bottom: 0.85em;
  background: lightblue;
  color: black;
  border: 2px solid orange;
  border-radius: 10px;
}
div.exercise {
  padding-top: 0.85em;
  padding-left: 0.85em;
  padding-right: 0.85em;
  margin-bottom: 0.85em;
  background: lightblue;
  color: black;
  border: 2px solid orange;
  border-radius: 10px;
}
div.definition {
  padding-top: 0.85em;
  padding-left: 0.85em;
  padding-right: 0.85em;
  margin-bottom: 0.85em;
  background: white;
  color: black;
  border: 2px solid orange;
  border-radius: 10px;
}
div.conjecture {
  padding-top: 0.85em;
  padding-left: 0.85em;
  padding-right: 0.85em;
  margin-bottom: 0.85em;
  background: white;
  color: black;
  border: 2px solid orange;
  border-radius: 10px;
}

.clearbox {
  padding: 1em;
  background: white;
  color: black;
  border: 2px solid orange;
  border-radius: 10px;
}

.center {
  text-align: center;
}

.cols {
	display: flex; 
}

.col {
    min-width: 10px;
}

a.fill-div {
    display: block;
    height: 100%;
    width: 100%;
    text-decoration: none;
}