/* RFC extension styles */
.rfc-reference {
  font-family: monospace;
  background: #f5f5f5;
  padding: 0.1em 0.3em;
  border-radius: 3px;
  border: 1px solid #ddd;
}
.rfc-reference a {
  text-decoration: none;
  color: #0366d6;
}
.rfc-reference a:hover {
  text-decoration: underline;
}