Add docs.
Simplify a bit the docs, use different themes.
Update keywords.
More doc updates.