Decided on the Easy Google Syntax Highlighter for now. Looks like this:

public string HelloWorld () {
  return "Hello World!";
}

So far, have only been able to get the <PRE> version working. The <SCRIPT> version doesn’t work because WordPress seems to insert an extra space in the <![CDATA[ tag.

Usage instructions, because I keep having to look them up.