Yours might, but I couldn't find any such script on North Korean sites I sampled. The spans were hardcoded. Don't believe me, run the following from any Linux command line:
curl http://www.kcna.kp/goHome.do?lang=eng | grep --colour 'Kim Jong Il'
So unless they have some server side parsing, this is not done in any programming language and most certainly not in Javascript on the client side.
Though lets be honest, if reporters get sent to special "revolutionisation" camps for so much as a typo (assuming that part of the article can be trusted), then you're damn well going to remember putting a span around ever instance of North Korea's leadership line. Plus (again assuming the CMS's doesn't handle this) reporters can just find/replace before uploading. I bet it becomes as much a habit as spell checking is for me.
Oh yeah, I'm aware they don't use any sort of JavaScript. Oh, now I know what you mean. The BBC article said each page contained a piece of programming which automatically made his name appear ever so slightly bigger. They do it manually. You're right.
Though lets be honest, if reporters get sent to special "revolutionisation" camps for so much as a typo (assuming that part of the article can be trusted), then you're damn well going to remember putting a span around ever instance of North Korea's leadership line. Plus (again assuming the CMS's doesn't handle this) reporters can just find/replace before uploading. I bet it becomes as much a habit as spell checking is for me.