#logo {
	margin-right: 10px;
}

.anchorjs-link {
	font-size: medium;
}