/* FONTS */#navigation a {	text-decoration: none ;	}#menu ul a , #versions a , a#language img {	font-size: 85% ;	}legend , #menu a , #language img {	font-weight: bold ;	}/* END FONTS */	/* LAYOUT *//* content on screen */h1 {	line-height: normal ;	padding: 0.5em ;	margin: 0 0 0.5em ;	}abbr , acronym {	cursor: help ;	}.addresses {	float: right ;	margin-left: 0.5em ; 	width: 11.5em ;	padding-bottom: 1em ;	}.addresses h2 {	margin-left: 0.4em ;	}.addresses img  {	display: block ;	width: 9.5em ;	margin: 0 auto ;	}/*other stuff on screen */#top {	/* put z-index here not on #language or Opera 8.51 hides it */	position: relative ;	z-index: 2 ;}a#language {		/* a needed for specificity */	float: right ;	position: relative ;	top: 0.5em ;	right: 9.5em ;	/* top right of heading bar */	margin: 1px ;	/* extra shift for content border */	padding: 1px ;	/* highlight around flag on :hover */	}html {	margin: 0 ;				/* get rid of any defaults */	padding: 0 4px 0 0 ;	/* 4px for content & menu borders */	min-height: 100.05% ;	/* force vertical scroll bar for consistent horizontal positioning */	}body {	max-width: 56.5em ;	margin: 0 auto ;	padding: 0.5em ;	}#content , #copyright {	max-width: 43em ;	min-width: 15em ;	padding: 0 0.5em ;	margin: 0 9em 0 auto ;	/* up to 3em on left for visual balance on big screens */	}#content {	padding: 0.5em ;	border-style: solid ;	position: relative ;	/* to allow to position things in it */	}#copyright p {	margin: 0 ;	text-align: center ;	}#navigation ul , #navigation li , #menu a {	display: block ;	padding: 0 ;	list-style: none ;	/* for IE5 - IE7b2 */	}#navigation li , #menu a {	/* #menu a for IE7b2 margin */	margin: 0 ;	overflow: hidden ;		/* for Gecko BUG 286368 (active link outline causes reflow/scrollbar) */}#navigation {	float: right ;	}#menu , #versions {	position: fixed ;	/* inherit left position from #navigation */	width: 8.5em ;	margin: 0.5em 0 0.5em -8.5em ;	}#menu {	top: 0 ;	border-style: solid ;	}#menu a {	line-height: 2em ;	padding-bottom: 0.5em ;	padding-left: 0.5em ;	white-space: nowrap ;	}#versions {	top: 9em ;	text-align: center ;	}#versions li {	padding-left: 2px;	/* to match borders on menu and menu items */	}#versions , a#language {	line-height: 100% ;	}	/* LAYOUT ENDS *//* CORNERS *//* border-radius is proposed for CSS3 but with syntax and behaviour	different from -moz proprietary version */#content , #menu {	-moz-border-radius: 0.75em ;	-webkit-border-radius: 0.75em ;}#menu > :first-child , #menu > :first-child :first-child {	-moz-border-radius-topleft: 0.75em ;	-moz-border-radius-topright: 0.75em ;	-webkit-border-top-left-radius: 0.75em ;	-webkit-border-top-right-radius: 0.75em ;}#menu > :last-child , #menu > :last-child :last-child {	-moz-border-radius-bottomleft: 0.75em ;	-moz-border-radius-bottomright: 0.75em ;	-webkit-border-bottom-left-radius: 0.75em ;	-webkit-border-bottom-right-radius: 0.75em ;}h1 , a#language {	-moz-border-radius: 0.25em ;	-webkit-border-radius: 0.25em ;	}#navigation ul#menu {	padding-bottom: 0.3px ; /* make up for disappearing bottom border rounding error */	}/* CORNERS ENDS *//* COLORS */#content {	background: white ;	}legend {	color: black ;}:link , address :visited {	color: #00b ;	}:visited {	color: #909 ;	}a:hover {	color: #b00 ;	}h1 , #menu :link , #menu :visited , #language:link , #language:visited {	color: white ;	}abbr , acronym {	border-bottom: 1px solid ;	border-bottom-color: #aaa ! important ;	/* important for Mozilla */	}h1 acronym {	border-bottom: none ;	}#updated {	color: gray ;	}#menu , fieldset {	border-color: white ;	}#menu a , a#language {	border-style: solid ;	/* dark line around highlight on :hover */	}#menu li a.dead {			/* li for specificity: override :hover */	color: inherit ;		/* IE fails: Kludge for IE7b2 below */	background: transparent ;	cursor: default ;	}	/* BUSINESS: BLUE-GRAY */html , body {	background: #99a ;	}#menu , #navigation #menu li a.dead { /* .dead here = kludge for IE7b2 */	color: #99a ;	}h1 , #menu {	background: #111118;	}#content , #menu a , a#language {	border-color: #111118 ;	}#menu a:hover , #menu :focus ,#language:hover , #language:focus ,.addresses , form , form#content {	color: #111118 ;	background: #dddde7 ;	}