Did I get the formatting right?

The actual sources follow in a minute.