Template:EPFL/Header

 font-size: 10pt; text-decoration: none; color: #000000; } color: #de1800; }
 * 1) hdr a {
 * 1) hdr a:hover {