BODY 		{ background: #ffeecc }
PRE             { color: blue;
                  background: #eeeeee;
                  margin-left: 5em;
                  margin-right: 5em;
                  border: thin solid blue;
                  padding: 1em }