Web site tools

Scripts and style used in the blog (to dynamically use syntax
highlighting on source code)