Major CSS theme redesign, adopting HTML5 new structural elements
Switch indentation from 4 to 2 spaces
Rename pubs/ to publications/