body {
 background-image: url(/grid.gif); 
 }

.highlight {
  background-color: #c6e2ff;
  padding: 8px;
}

pre.redlight { color: #FF0000; font-style: italic; }
.redlight { color: #FF0000; font-style: italic; }

.foothr {
  border: 0;
  height: 0;
  box-shadow: 0 0 10px 3px #c6e2ff;
  }

.foothr:after {
  content: "\00a0";   /* non break space */
  }

.centered { 
  text-align: center; 
}