/* CSS file with hacks for IE */
body 
	{ 
	/*text-align		: center;*/
	}

/* for all */
#header
	{
	margin			: 1em auto 1em auto; /* top, right, bottom, left */
	padding			: 0.5em;
	border			: 0.3em double black;
	width			: 56.6em; /*48.6em; */
	}

#content 
	{
	margin			: 1em auto 1em auto; /* top, right, bottom, left */
	padding			: 1em 3em 1em 14.5em; /* top, right, bottom, left */
	width			: 40.2em; /*48em;*/
	text-align		: left;
	}

#menu 
	{
	margin			: 0 0 0 -7em;
	padding			: 0;
	max-width		: 12.6em;
	width			: 12.6em;
	}

/* for all BUT IE */
body>#header
	{
	width			: 55em; /*45em;*/ /* total width: 45+(2*1)+(2*0.5)+(2*0.3) = 48.6 em */
	}
	
body>#content 
	{
	text-align		: left;
	width			: 39em; /*29em;*/ /* total width: 29+(2*1)+(3+14) = 48 em */ 
	}

#content>#menu 
	{
	margin			: 0 0 0 -13.5em; /* top, right, bottom, left */
	max-width		: none;
	width			: 12em; /* total width: 12+(2*0.3)= 12.6em */
	}