.credits{
	font-family: system-ui;		/* use the same font as the system */
/*	font-size: 100%; */
}