SpookDroid
Ambassador
Isn't there a way to use a Launcher (Nova or something), to change that?
PS: Didn't mean to digress...
Nope, the lockscreen clock is only modifiable with themes, and that doesn't really change much, just font and color.