Theme of documents changed to `alabaster'. All documents are
slightly modified to match the theme (specially table of contents).