There is no $theme() identifier that I know of.

I have this in my script:
Code:
ON ^*:WALLOPS:*: {
  echo $colour(wallops) -ta [color:blue]<WallOps@ $+ $nick $+ > $1-[/color]
  haltdef
}
The blue bit is what I changed from my script to match the look you wanted.