Hi @twa,
Yes, that’s the proposed solution over at Is the rounded corners plugin broken in 2.4.8-5?. We’re unlikely to release any more packages of OJS 2.x so I’d suggest keeping that as a local modification.
Regards,
Alec Smecher
Public Knowledge Project Team