Font size for lyrics

Add an option to reduce the lyrics font size — long lines currently get cut off.
ClosedClosed

changed status toClosed·
changed status toIn Progress·