/* Core font size CSS removed in favor of dynamic font size adjustments via JavaScript. */