PR 523 updates some documation for closed PRs 512 and 520.
PR 525 fixes bugs in the manual style CSS caused by closed PR 512.
PR 523 updates some documation for closed PRs 512 and 520.
PR 525 fixes bugs in the manual style CSS caused by closed PR 512.