Gradient Borders Can Be Animated Without javaScript

Although it still takes quite a bit of doing, animated gradient borders can be applied using the css @property element and some background color effects. Maybe someday it will even be possible to do it without jumping through so many hoops. One can only hope.