Doc theme done

4 jobs for master in 3 minutes and 36 seconds (queued for 4 seconds)