body {
background: #69C; 
color: black;
div.banner {position: fixed}
}

div.main {
background: white; 
width: 80%; 
margin: 1em 10%; 
padding: 0 0 1em 0;
}

img.curve {
float: left; 
clear: left; 
margin: 0 1em 0 0;
}

h1 {
padding: 0.25em 0.25em 0.125em; 
margin: 0; 
background: #9CF; 
border-bottom: 0.125em solid #69C; 
font: 160% Arial, sans-serif;
}

h2 {
padding: 0.25em 0 0.125em 0; 
font-family: Arial, sans-serif; 
border-bottom: 2px solid #69C; 
margin: 0 0 0 1em;
}

h3 {
padding: 0.25em 0 0.125em 0; 
font-family: Arial, sans-serif; 
border-bottom: 2px solid #69C; 
margin: 0 0 0 1em;
}

p {
margin: 0.75em 0.5em 0.75em 1em;
}

pre {
margin-left: 2em;
}

div.example {
padding: 0.5em 1.5em;
}

div.banner {
  margin: 0;
  font-size: 80% /*smaller*/;
  font-weight: bold;
  line-height: 1.1;
  text-align: center;
  position: absolute;
	top: 2em;
  left: auto;
  width: 8.5em;
  left: 1em;
}


div.banner p {
  margin: 0; 
  padding: 0.3em 0.4em;
  font-family: Arial, sans-serif;
  background: #99CCFF;
  border: thin outset #99CCFF;
  color: white;
}

div.banner a, div.banner em { display: block; margin: 0 0.5em }

div.banner a, div.banner em { border-top: 2px groove #900 }

div.banner a:first-child { border-top: none }

div.banner em { color: white }

div.banner a:link { text-decoration: none; color: white }

div.banner a:visited { text-decoration: none; color: white }

div.banner a:hover { background: #6699CC; color: white }