body {
  background-color: #f2dcc2;
  background-image: url("/buttons/mine/spritestarsleft.gif"), url("/buttons/mine/spritestarsright.gif");
  background-repeat: repeat-y;
  background-position: 2%, 98%;
}

.indented {   padding-left: 50pt;   padding-right: 50pt; }
.deepindented {   padding-left: 70pt;   padding-right: 70pt; }