/* $Id: css-screen-ie-all.css,v 1.2 2008/02/29 16:38:08 paladin Exp $ */

#contenu {
	padding-right:0;
}
#page code { font-size: 110%; }