/* estilos definidos en html.css (div.hr) NOTA: aquí hay que poner algo (aunque sea un comentario como éste), porque si no el gestor genera en un link a un archivo .htm en lugar de .css*/