Wrap IDL shortlinks in '<code>' elements.

Closes #193.