css updates to better work with RTD badge
Merge branch 'master' into rel_0_9
Merge branch 'master' into rel_0_9
Merge branch 'master' into rel_0_9
Merge branch 'master' into rel_0_9
Merge branch 'master' into rel_0_9
Merge branch 'master' into rel_0_9
Merge branch 'master' into rel_0_9
Merge branch 'master' into rel_0_9
- apply a timeout to all join() calls for test_pool
- use thread.join() for waiters_handled test