Test are now under "Tests" headline.
Default theme is now used for documentation.