Los documentos están en html pero
si pulsas sobre pdf podrás visualizarlos en formato acrobat
pdf si dispones del Acrobat Reader (http://www.adobe.com).
Si lo que deseas es grabar el pdf en tu disco duro para imprimirlo
posteriormente, debes marcar con el botón derecho encima de
pdf y escoger la opción Guardar destino como... |