html { overflow:hidden; background-color: gray; }
body {
  position:relative;
  overflow:hidden;
  margin:0 auto;
  padding:0;
  background-color:white;
  background-image:url(background.png);
  background-size: 100%;
  -o-background-size: 100%;
  -moz-background-size: 100%;
  -webkit-background-size: 100%;
}
h1,h2,h3,h4,h5,h6,p,ul,ol,dl,li { margin:0; padding:0; }
h1 { font-size:150%; margin:0; padding:0; }
p { margin: 1em 0; }
p:first-child { margin-top:0; }
ul { padding-left: 2em; }
li { padding: 0.2em 0 0.2em 0.5em; }
body>div { position:absolute; }
ul { list-style-type: disc; }
ul ul { list-style-type: circle; font-size: 80%; }

.header { left:5%; top:3%; }
.single_column { left:5%; right:5%; top:15%; line-height:1.5; }
.prettyprint { font-size:60%; line-height:1.2; margin:0.5em 0; }