Fix indentation in personal website workshop.