Como exportar documentos do Google Docs em PDF

Se você precisa compartilhar um documento sem perder a formatação, transformar um Google Docs em PDF pode ser a melhor solução.