Go to file and then download. Select the file type and you should be good to go. You can always refer to the Google Docs help for something like this as well.