/* JDEV Spis treści: re-part green accent, fonts inherited from the theme. */
html .jdev-toc {
	--jdev-toc-accent: #94c11e;
}

html .jdev-toc,
html .jdev-toc .jdev-toc__title,
html .jdev-toc .jdev-toc__link {
	font-family: inherit;
}