Lighter redlink color

The redlinks are the same color as the "brighter redlink" from https://github.com/Brickimedia/Refreshed/pull/10#issuecomment-30619673, and the hover color is now the color of the "current redlink."