Further work on Documentation and a small CSS tweak