use the sphinx default theme on RTFD