Some copy-edit in docs, more CSS fixes.