/* Show it's not fixed to the top */
body {
  min-height: 75rem;
}

pre {
	background-color: #f5f5f5;
	border: 1px solid #ccc;
	padding: 9.5px;
}

.anchor-link {
  color:grey;
}
.anchor-link:focus,
.anchor-link:hover,
:hover>.anchor-link,
:target>.anchor-link {
  color:#89a6ff;
  text-decoration:none;
}