/* information block*/
.infobox {
  padding: 1em 1em 1em 1em;
  border: 2px solid black;
  border-radius: 10px;
  background: #f5f5f5 5px center/3em no-repeat;
  overflow: auto;
}

/* foldable proof block*/
.foldproof {
  background-color: #f9f9f9;
  border-left: 3px solid #4CAF50;
  border-radius: 5px;
  margin-top: 10px;
  position: relative;
  user-select: none;
  cursor: pointer;
  padding: 0;
  overflow: hidden;
}

.foldproof .foldproof-header {
  font-weight: bold;
  display: flex;
  align-items: center;
  gap: 6px;
  padding: 10px;
}

.foldproof .arrow {
  display: inline-block;
  transition: transform 0.8s ease;
}

.foldproof .foldproof-body {
  overflow: hidden;
  transition: max-height 0.8s ease;
  padding: 0 10px;
}

.r-code-collapse {
  overflow: hidden;
  transition: max-height 0.8s ease;
}


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