/*
   Stylesheet to be used by the all.html file. The same stylesheet will be used by all 
   generated HTML files, and contains the general style definitions.
   I. Herman
   $Date: 2003/03/11 13:19:47 $
*/   

/* Note that most of the font sizes are set in percentages!!!!! */

/* The CSS file relies on some conventions to be used by the source XHTML file and
   the generated files. These are:
   
   div.slide encloses a full slide in the source file      
   div.projSlide encloses each slide in the 'projection ready' Overview file;
   div.genSlide encloses each slide when individual XHTML files are generated
   
   In both cases, the real slide content (ie, not the title and the link images) is
   enclosed into a div.slideContent      
*/

@import url("W3C_All.css");
@import url("W3C_Screen.css");
@import url("W3C_Projection.css");
@import url("W3C_Print.css");