#toc a:hover,
#toc a:focus,
#toc a:hover code,
#toc a:focus code {
	color: #1DA2BD;
}

#toc a:active {
	text-decoration: none;
}

/* Site header specific styles */
.hamburger {
	background-color: transparent;
	background-image: none;
	border: none;
	border-radius: 4px;
	cursor: pointer;
	margin-left: auto;
	padding: 11px 10px;
}

.hamburger:focus {