pre {
  font-size: 13px;
}