/* styles provided inline by JS; file kept for consistency */