docs theme
fix travis config