.mainbox {
 border: 1px solid #2A7FFF;
 background-color: #F3F3F3;
 width: auto;
 padding: 10px;
 margin-bottom: 0px;
 margin-top: 0px;
 font-family : Verdana, Arial, Helvetica, sans-serif;
 font-size : 12px;
 line-height: 17px;
 margin: 20px 40px 40px 40px;
}
.mainbox h2 {
 color: #2A7FFF;
 font-size: 170%;
 padding: 3px;
 margin: 0px;
 margin-bottom: 10px;

}
.mainbox p {
 margin: 0px;
 margin-top: 10px;
 padding: 0px;
 font-size: 14px;
 line-height: 140%;
 color: #222;
 text-align: justify;
}

/* ie settings */

#main {
 width: auto;
 padding-top: 0px;
 padding-left: 300px;
 padding-right: 10px;

}

/* mozilla */

#all > #main {
 position: static;
 padding-top: 0px;
 margin-top: 0px;
 width: 100%;
 display: table-cell;
}

div.code {
 background-color: white;
 border: 1px dashed #ccc;
 width: 200px;
 margin: 20px;
}

code {
 white-space: pre;
}

cite {
margin-left: 20px;
}