- From: Michael Smith via cvs-syncmail <cvsmail@w3.org>
- Date: Mon, 27 Feb 2012 11:28:02 +0000
- To: public-html-commits@w3.org
Update of /sources/public/html5 In directory hutz:/tmp/cvs-serv28023 Modified Files: HEADER.html Log Message: updated Index: HEADER.html =================================================================== RCS file: /sources/public/html5/HEADER.html,v retrieving revision 1.29 retrieving revision 1.30 diff -u -d -r1.29 -r1.30 --- HEADER.html 27 Feb 2012 11:27:03 -0000 1.29 +++ HEADER.html 27 Feb 2012 11:27:59 -0000 1.30 @@ -40,17 +40,15 @@ text-align: left; } pre img:first-child { - font-size: 120%; display: none; } hr + img, hr + img + a { display: none; } -.main { - display: block; +pre { + font-size: 120%; font-family: Bitstream Vera Sans Mono, monospace; - white-space: pre; } </style> <h1>
Received on Monday, 27 February 2012 11:28:08 UTC