Apenas algo com que me deparei e que poderá ajudar outr@s colegas. É bom usarem o Google Chrome como sugerido pelo Professor. No meu caso, usando o Microsoft Edge, nem sempre as atualizações feitas no arquivo style.css fazem efeito, nem com Ctlr+R, Ctlr+F5 ou reabrindo a página. Não sei colocar imagens neste forum, então, seguindo os passos descritos em https://stackoverflow.com/questions/35604953/ie-and-edge-not-loading-new-stylesheet, basta ir nas ferramentas de desenvolvedor (F12) e na aba de rede clicar no 4º ícone com imagem de servidor com símbolo de refrescar. Quando se passa por cima desse ícone aparece o texto "Sempre atualizar do servidor". Curioso que, ainda assim, só à 2ª vez que se refresca a tela, é que as definições do arquivo style.css são apresentadas. Bom trabalho.
