WIP: various fixes to doc style
WIP: fixes to the footer