body { font-family: "gill sans mt",sans-serif ;margin-left: 1em;
	background-color: white
	}

h2 { padding-bottom: 0; 
	width: 90%;
	background: transparent url("../images/yellow-line.jpg") no-repeat 0px 1em;
	margin-top: 1em;
	margin-bottom: 0.5em;
	clear: both;

}

h3 { padding-bottom: 0; 
	margin-top: 1em;
	margin-bottom: 0.5em;
}

div.split {
	clear: both
}

p {margin-left: 1em; margin-right: 1em; margin-top:0em}
p.alt { font-size: 0.9em }
p.li {margin-left: 2em;}

p.tip { background: #e1e3eb url("yellow-line.jpg") 2px 0.5em no-repeat;
	font-size: 0.9em;
	margin-left: 2.5em ; 
	margin-right: 10em ;
	padding: 0.5em 0.5em 0.5em 35px ;
	}

div.topbar {
	position : absolute;
	left:1.9em;
	top:0.1em;
	height: 140px;
  border: solid; border-width: thin; 
  width: 85%;
	background:  #e4c98e url("logo.jpg") left no-repeat; margin-left: 1em;
}

div.topbar p {
	margin-top:1em;
	margin-left: 8em;
}
div.footer {
	position : absolute;
	background: url("esa.gif") left no-repeat; margin-left: 1em;
	left:1.9em;
	bottom:0.1em;
	height: 190px;
  width: 85%;
}
div.body { position: absolute; top: 10px; left:3em; 
	margin:0.6em; padding: 0.5em;
	width: 85%}
div.body p  {margin-left: 1em; margin-right: 1em; margin-top:0em}
div.body li {margin-left: 2em; margin-right: 1em; margin-top:0em} 	
div.body.p li {margin-left: 2em; margin-right: 1em; margin-top:0em} 	

div.body a:link { color: #714f07; text-decoration: underline ; font-weight: bold }

div.body a:visited { color: #714f07 ; text-decoration: underline ; font-weight: bold}
div.body a:hover { color: #e4c98e; font-weight: bold ; text-decoration: underline} 



div.menu { position: absolute; top: 145px; left: 0; width:145px; 
	padding-top: 1.5em; margin-left: 2.7em; margin-right:10px;
}

div.menu a { color: black;
	text-decoration: none;
	font-weight: bold;
	display: block;
	background: #e1e3eb transparent url("yellow-button.jpg") no-repeat;
	text-align: center;
	width: 127px;
	height: 35px;
	padding-top: 0.19em;
}

div.menu a:hover { color: white; background-image: url("light-yellow-button.jpg")}

div.submenu { margin-top:0.3em; margin-bottom: 0.7em; }

div.submenu a { font-family:"verdana",sans-serif;
	font-size:0.8em;
	font-weight: bold;
	text-align:left;
	height: 1.5em;
	background-image: none;
	color: blue;
	margin-left:2em; 
}

div.submenu a:hover { color:white; 
	background-color: blue;
	text-align:left;
	background-image:none; }


div.box {border: solid; border-width: thin; width: 100%}

comic-font {
	font-family: "Comic Sans MS",comic-sans-ms;
}

div.screenshots { padding: 1em; position: relative; width: 1200px;  };

div.hidden { position: absolute; top: 4em; left:155px; 
	margin:0.5em; padding: 0.5em; visibility: hidden}

div.figure {
  float: right;
  width: 65%;
  border: thin silver solid;
  margin: 0.5em;
  padding: 0.5em;
}
div.figure p {
  text-align: center;
  font-style: italic;
  font-size: smaller;
  text-indent: 0;
  padding: 0.5em;
  margin-top: 1.0em;
}
div.figure img {
  width: 100%
}

img.scaled {
  width: 100%;
}
div.centre {
	text-align: center;
}