made pagename link in header more legible
version 12.0