/* Custom CSS for greatest_common_factor_calculator */