color for comments in wolfe theme changed; more text for possible worlds