src/*.html: streamline CSS; editorial changes to page cntents