Debugger: use body font instead of Times for signal nodes.
Debugger: fix status text with 0 events.