/*
 * This changes the appearance of menu item links in the vertical menu
 * when the corresponding page is active on screen.
 */
#body-retro-index #side-nav .hdr-index a,

#body-hardpressed #side-nav .hdr-hardpressed a,
#body-cassetteprotect #side-nav .hdr-cassetteprotect a,
#body-computist #side-nav .hdr-computist a,
#body-unprotect #side-nav .hdr-unprotect a,
#body-misc #side-nav .hdr-misc a,

#body-hdc-index #side-nav .hdr-hdc-index > a {
	color: #8BC349;
}