/* 
 * $Id$
 * Personnalisation de la Steely des "W3C Core Styles".
 * http://www.w3.org/StyleSheets/Core/
 */

pre.screen {
  font-size: x-small;
}