body {
    width: 900px;
	background: white url("/images/code.png") top left no-repeat;
    margin: 0 10px 10px 0;
    padding: 0;
}
a { color: #A1013F; }
#topbox {
    margin: 0;
    padding: 0 0 5px 0;
}
#topbox img {
    width: 650px;
    height: 100px;
    border: 0;
}
#topbox a:hover { background-color: transparent; }

#mainbox {
    margin: 0 0 0 150px;
    min-height: 500px;
}
#mainbox li {
    padding-bottom: 18px;
}

#copybox a { color: black; }
#copybox a:hover { color: white; }

pre.code {
    width: 650px;
    border: 1px #666666 solid;
    padding: 10px;
    margin: 10px;
    overflow-x: auto;
}
.code { font-family: Courier; }
div.ix {
    float: left;
    width: 300px;
    padding: 10px;
}
h1 {
    margin-top: 0;
    padding-top: 0;
    color: #A1013F;
}
.variable { color: #999999; font-weight: bold; }