Formatting code for blogger

BTW, mostly for my own personal reference, this is the tool I used to structure my last code blocks into HTML:

http://codeformatter.blogspot.com

Now it's off to zzzz-land.